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

TuringLang / DynamicPPL.jl / 10828588272
85%
main: 83%

Build:
Build:
LAST BUILD BRANCH: mhauru/delete-flags
DEFAULT BRANCH: main
Ran 12 Sep 2024 10:26AM UTC
Jobs 7
Files 30
Run time 1min
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

12 Sep 2024 09:41AM UTC coverage: 77.486% (-0.02%) from 77.508%
10828588272

push

github

web-flow
Mark istrans as inactive (#658)

* Mark istrans as inactive

* Update DynamicPPLEnzymeCoreExt.jl

* Update DynamicPPLEnzymeCoreExt.jl

* Expand Enzyme extension comment

---------

Co-authored-by: Markus Hauru <mhauru@turing.ac.uk>

0 of 1 new or added line in 1 file covered. (0.0%)

2712 of 3500 relevant lines covered (77.49%)

491047.75 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
50.0
-50.0% ext/DynamicPPLEnzymeCoreExt.jl
Jobs
ID Job ID Ran Files Coverage
1 10828588272.1 12 Sep 2024 10:26AM UTC 30
75.93
GitHub Action Run
2 10828588272.2 12 Sep 2024 10:27AM UTC 30
76.1
GitHub Action Run
3 10828588272.3 12 Sep 2024 10:28AM UTC 30
75.93
GitHub Action Run
4 10828588272.4 12 Sep 2024 10:29AM UTC 30
75.93
GitHub Action Run
5 10828588272.5 12 Sep 2024 10:30AM UTC 30
74.85
GitHub Action Run
6 10828588272.6 12 Sep 2024 10:31AM UTC 30
74.62
GitHub Action Run
7 10828588272.7 12 Sep 2024 11:08AM UTC 30
75.93
GitHub Action Run
Source Files on build 10828588272
  • Tree
  • List 30
  • Changed 10
  • Source Changed 0
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • ad883341 on github
  • Prev Build on gh-readonly-queue/master/pr-650-3ffb003edb7735605699a6013f9b7507357dfa28 (#10701499713)
  • Next Build on master (#10856419783)
  • Delete
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

© 2026 Coveralls, Inc