CI (Coq, docker, dev) · Workflow runs · proux01/fiat-crypto · GitHub

Actions

All workflows
Workflows
- CI (Coq) CI (Coq)
- CI (Coq, docker, dev) CI (Coq, docker, dev)
- CI (Coq, MacOS) CI (Coq, MacOS)
- CI (Coq, Windows) CI (Coq, Windows)
- Publish Publish
- Test Generated C Test Generated C
- Test Generated Go Test Generated Go
- Test Generated Java Test Generated Java
- Test Generated JSON Test Generated JSON
- Test Generated Rust Test Generated Rust
Management
- Caches

CI (Coq, docker, dev)

Actions

Loading...
Loading

1 workflow run

1 workflow run

Adapt to https://github.com/rocq-prover/rocq/pull/21849 CI (Coq, docker, dev) #1: Commit 7b6eb9f pushed by proux01

38m 23s sp2019latest

sp2019latest

38m 23s