• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In
You are now the owner of this repo.

steve-downey / fixpoint
89%

Build:
DEFAULT BRANCH: main
Repo Added 03 Jul 2026 04:18PM UTC
Token E8FcqZ58CMTBw5IsyGrxBxppDOGUTyVde regen
Build 48 Last
Files 111
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • blog-interlude-free-cofree
  • dependabot/github_actions/github-actions-628ff30f61
  • dependabot/github_actions/github-actions-ac456d73cf
  • dependabot/github_actions/github-actions-f435755103
  • dependabot/github_actions/github-actions-fb569a3cc9
  • dependabot/github_actions/github-owned-actions-ac07fb48a3
  • dependabot/github_actions/github-owned-actions-cfbd105ad6
  • dependabot/github_actions/github-owned-actions-e30cd39792
  • dependabot/pip/cmake-4.4.0
  • dependabot/uv/cmake-4.4.0
  • dependabot/uv/copier-gte-9.16.0
  • dependabot/uv/pre-commit-gte-4.6.1
  • fix/ci-clang22-werror
  • fix/ci-preset-beman-deps
  • main
  • sender-dot
  • typeclass-flatten-concrete-relocate
  • worktree-bright-oak-rbui

25 Jul 2026 08:28PM UTC coverage: 89.046%. Remained the same
30173511436

push

github

Steve Downey
Merge remote-tracking branch 'refs/remotes/origin/main'

4032 of 4528 relevant lines covered (89.05%)

176.18 hits per line

Relevant lines Covered
Build:
Build:
4528 RELEVANT LINES 4032 COVERED LINES
176.18 HITS PER LINE
Source Files on main
  • Tree
  • List 111
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
30173511436 main Merge remote-tracking branch 'refs/remotes/origin/main' push 25 Jul 2026 08:28PM UTC Steve Downey github
89.05
30111632590 dependabot/github_actions/github-actions-628ff30f61 Merge 805302274 into 4baf299ac Pull #19 24 Jul 2026 05:09PM UTC web-flow github
89.05
30027955974 dependabot/github_actions/github-owned-actions-cfbd105ad6 Merge b7e3c5de9 into 4baf299ac Pull #17 23 Jul 2026 05:13PM UTC web-flow github
89.05
30027937817 dependabot/github_actions/github-actions-f435755103 Merge bb3f48086 into 4baf299ac Pull #16 23 Jul 2026 05:09PM UTC web-flow github
89.05
29962824060 main docs/blog: voice pass on recursion-schemes series Strip GenAI tells across the 17-post series, calibrated against the voice skill rubric and scripts/lexcheck.py: - Remove the personification-of-prose watermark (repays attention, earns its keep... push 22 Jul 2026 10:29PM UTC steve-downey github
89.05
29940853845 dependabot/uv/pre-commit-gte-4.6.1 Merge d3db8325c into a7b8821c7 Pull #18 22 Jul 2026 05:08PM UTC web-flow github
89.05
29851551784 dependabot/github_actions/github-owned-actions-cfbd105ad6 Merge 6f4810273 into a7b8821c7 Pull #17 21 Jul 2026 05:13PM UTC web-flow github
89.05
29851497043 dependabot/github_actions/github-actions-f435755103 Merge a00203136 into a7b8821c7 Pull #16 21 Jul 2026 05:09PM UTC web-flow github
89.05
29804038200 main Merge pull request #15 from steve-downey/dependabot/github_actions/github-owned-actions-e30cd39792 Bump the github-owned-actions group across 1 directory with 5 updates push 21 Jul 2026 05:39AM UTC web-flow github
89.05
29804013954 main Merge pull request #6 from steve-downey/dependabot/github_actions/github-actions-ac456d73cf Bump the github-actions group across 1 directory with 2 updates push 21 Jul 2026 05:30AM UTC web-flow github
89.05
See All Builds (48)

Badge your Repo: fixpoint

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc