• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

steve-downey / fixpoint
88%
main: 89%

Build:
Build:
LAST BUILD BRANCH: dependabot/github_actions/github-actions-628ff30f61
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 dependabot/github_actions/github-actions-ac456d73cf
branch: dependabot/github_actions/github-actions-ac456d73cf
CHANGE BRANCH
x
Reset
Sync Branches
  • dependabot/github_actions/github-actions-ac456d73cf
  • blog-interlude-free-cofree
  • dependabot/github_actions/github-actions-628ff30f61
  • 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

11 Jul 2026 02:25AM UTC coverage: 87.849%. Remained the same
29136318550

Pull #6

github

web-flow
Merge a2f6ddba8 into f6aedf802
Pull Request #6: Bump the github-actions group across 1 directory with 2 updates

2863 of 3259 relevant lines covered (87.85%)

183.13 hits per line

Relevant lines Covered
Build:
Build:
3259 RELEVANT LINES 2863 COVERED LINES
183.13 HITS PER LINE
Source Files on dependabot/github_actions/github-actions-ac456d73cf
  • Tree
  • List 85
  • 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
29136318550 dependabot/github_actions/github-actions-ac456d73cf Merge a2f6ddba8 into f6aedf802 Pull #6 11 Jul 2026 02:33AM UTC web-flow github
87.85
29135712252 dependabot/github_actions/github-actions-ac456d73cf Merge 797a8b7ce into 9bd2d01a1 Pull #6 11 Jul 2026 02:16AM UTC web-flow github
87.85
29109776056 dependabot/github_actions/github-actions-ac456d73cf Merge cd983f607 into 2558cae37 Pull #6 10 Jul 2026 05:08PM UTC web-flow github
87.88
28884402205 dependabot/github_actions/github-actions-ac456d73cf Merge ec642f16e into 9381041bb Pull #6 07 Jul 2026 05:08PM UTC web-flow github
88.61
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