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

mbarbin / catch-the-bunny
100%

Build:
DEFAULT BRANCH: main
Repo Added 04 May 2023 01:10PM UTC
Files 4
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
  • No branch selected
  • HEAD
  • debug-install-depexts
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • dune-cache
  • expect-tests
  • force-unused-code-warnings
  • main
  • setup-dune-automagic
  • setup-dune-test-cache
  • try-setup-dune

12 Sep 2025 08:52AM UTC coverage: 100.0%. Remained the same
124

push

github

mbarbin
Apply headache.sh

199 of 199 relevant lines covered (100.0%)

213441.41 hits per line

Relevant lines Covered
Build:
Build:
199 RELEVANT LINES 199 COVERED LINES
213441.41 HITS PER LINE
Source Files on main
  • Tree
  • List 4
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
124 main Apply headache.sh push 12 Sep 2025 08:59AM UTC mbarbin github
100.0
123 main Merge pull request #10 from mbarbin/setup-dune-test-cache Enable testing of [setup-dune/cache] push 11 Sep 2025 10:29AM UTC web-flow github
100.0
122 setup-dune-test-cache Merge e3322b6c0 into 6df869802 Pull #10 11 Sep 2025 10:11AM UTC web-flow github
100.0
121 setup-dune-test-cache Merge 7ea459d29 into 6df869802 Pull #10 05 Sep 2025 11:05AM UTC web-flow github
100.0
120 dependabot/github_actions/actions/upload-pages-artifact-4 Merge 15e3354fa into 6df869802 Pull #9 02 Sep 2025 12:50PM UTC web-flow github
100.0
119 main Upgrade actions/checkout push 01 Sep 2025 01:05PM UTC mbarbin github
100.0
118 main Sync workflow with external template push 01 Sep 2025 12:32PM UTC mbarbin github
100.0
117 main Merge pull request #8 from mbarbin/setup-dune-automagic Enable setup-dune workflow (experimental) push 01 Sep 2025 12:23PM UTC web-flow github
100.0
116 setup-dune-automagic Merge 1ac21b18a into 3a0a93297 Pull #8 01 Sep 2025 12:01PM UTC web-flow github
100.0
115 setup-dune-automagic Merge fc28aed09 into 3a0a93297 Pull #8 29 Aug 2025 03:34PM UTC web-flow github
100.0
See All Builds (99)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc