_CoqProject generation: style revisions #62
pgiarrusso-slsl-fm-ci.yml
on: pull_request
CI
/
...
/
Choose commits to compare
25s
CI
/
...
/
Choose commits to compare
CI
/
Skip CI?
CI
/
...
/
opam-build
6m 43s
CI
/
...
/
BRiCk documentation
1m 3s
CI
/
...
/
full-build
8m 46s
CI
/
...
/
BRiCk documentation
CI
/
...
/
full-build
CI
/
...
/
opam-build
Matrix: CI / Run-elsewhere / python-build
Matrix: CI / Run-workspace / python-build
Waiting for pending jobs
CI
/
...
/
workspace-success
3s
CI
/
...
/
workspace-success