Nix CI for bundle rocq-master · Workflow runs · math-comp/analysis · GitHub

Actions

All workflows
Workflows
- .github/workflows/generate_docs.yml .github/workflows/generate_docs.yml
- .github/workflows/generate_htmldoc_for_pullrequests.yml .github/workflows/generate_htmldoc_for_pullrequests.yml
- Nix CI Nix CI
- Nix CI for bundle 8.20-2.4.0 Nix CI for bundle 8.20-2.4.0
- Nix CI for bundle 9.0 Nix CI for bundle 9.0
- Nix CI for bundle 9.1 Nix CI for bundle 9.1
- Nix CI for bundle master Nix CI for bundle master
- Nix CI for bundle rocq-master Nix CI for bundle rocq-master
Management
- Caches

Nix CI for bundle rocq-master

Actions

Loading...
Loading

1 workflow run

1 workflow run

[CI] Update Nix CI for bundle rocq-master #1: Pull request #1621 synchronize by proux01

15m 16s proux01:ci-update

proux01:ci-update

15m 16s