accordproject / ergo / 1113696291
96%
master: 96%

LAST BUILD BRANCH: dependabot/npm_and_yarn/http-cache-semantics-4.1.1
DEFAULT BRANCH: master
Ran
Jobs 1
Files 0
Run time –
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
1113696291

push

github

jeromesimeon 
chore(build) Upgrade to Coq 8.12.2
Jobs
ID Job ID Ran Files Coverage
1 ubuntu-latest - 1113696291.1 0
95.62
 GitHub Action Run
Source Files on build 1113696291
Detailed source file information is not available for this build.