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

steve-downey / fixpoint
89%
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 sender-dot
branch: sender-dot
CHANGE BRANCH
x
Reset
Sync Branches
  • sender-dot
  • 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
  • typeclass-flatten-concrete-relocate
  • worktree-bright-oak-rbui

20 Jul 2026 02:30PM UTC coverage: 89.046%. First build
29750937611

Pull #13

github

web-flow
Merge 27a95288b into ed6682725
Pull Request #13: Render sender expressions as Graphviz DOT via reify + fold_fix

226 of 244 new or added lines in 11 files covered. (92.62%)

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 sender-dot
  • 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
29750937611 sender-dot Merge 27a95288b into ed6682725 Pull #13 20 Jul 2026 02:37PM UTC web-flow github
89.05
29750875914 sender-dot Merge 6b753edcd into ed6682725 Pull #13 20 Jul 2026 02:33PM 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