Skip to content

CI

CI #2179

build (3.11, standalone, 8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, ubuntu-20...

succeeded Dec 19, 2024 in 16m 56s
Set up job
0s
install Coq
41s
Run actions/checkout@v4
0s
Set up Python 3.11
0s
Install dependencies
0s
Lint with flake8
2s
make doctests
0s
install package building deps (pip)
0s
install package building deps (standalone)
1s
Build package (dist)
0s
Build package (standalone)
30s
Test install
0s
Test (local)
0s
Test (installed)
0s
Test (standalone)
15m 33s
Post Set up Python 3.11
0s
Post Run actions/checkout@v4
0s
Complete job
0s