Skip to content

CI

CI #2186

build (3.7, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)

succeeded Dec 26, 2024 in 16m 57s
Set up job
1s
install Coq
1m 5s
Run actions/checkout@v4
1s
Set up Python 3.7
0s
Install dependencies
4s
Lint with flake8
5s
make doctests
0s
install package building deps (pip)
0s
install package building deps (standalone)
0s
Build package (dist)
0s
Build package (standalone)
0s
Test install
0s
Test (local)
15m 35s
Test (installed)
0s
Test (standalone)
0s
Post Set up Python 3.7
0s
Post Run actions/checkout@v4
0s
Complete job
0s