Nix CI for bundle coq-8.20 · Workflow runs · math-comp/hierarchy-builder · GitHub

Actions

All workflows
Workflows
- docker CI docker CI
- Nix CI for bundle coq-8.20 Nix CI for bundle coq-8.20
- Nix CI for bundle coq-9.0 Nix CI for bundle coq-9.0
- Nix CI for bundle coq-9.1 Nix CI for bundle coq-9.1
- Nix CI for bundle coq-master Nix CI for bundle coq-master
Management
- Caches

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

nix-action-coq-8.20.yml

3 workflow run results

3 workflow run results

[CI] Add test-suite Nix CI for bundle coq-8.20 #16: Pull request #450 opened by proux01

54m 12s proux01:ci-test-suite

proux01:ci-test-suite

54m 12s

[CI] Add test-suite Nix CI for bundle coq-8.20 #15: Pull request #450 opened by proux01

54m 21s

54m 21s

fix cat Nix CI for bundle coq-8.20 #14: Pull request #449 opened by CohenCyril

47m 54s

47m 54s