Nix CI for bundle coq-dev · Workflow runs · MetaRocq/metarocq · GitHub

Actions

All workflows
Workflows
- Dependabot Updates Dependabot Updates
- MetaRocq CI MetaRocq CI
- Nix CI for bundle coq-8.16 Nix CI for bundle coq-8.16
- Nix CI for bundle coq-8.16 Nix CI for bundle coq-8.16
- Nix CI for bundle coq-8.19 Nix CI for bundle coq-8.19
- Nix CI for bundle coq-8.20 Nix CI for bundle coq-8.20
- Nix CI for bundle coq-dev Nix CI for bundle coq-dev
- Nix CI for bundle default Nix CI for bundle default
- Nix CI for bundle default Nix CI for bundle default
- Nix CI for bundle rocq-9.0 Nix CI for bundle rocq-9.0
Management
- Caches
- Deployments

Nix CI for bundle coq-dev

Actions

Loading...
Loading

1 workflow run

1 workflow run

Nix CI for main branch Nix CI for bundle coq-dev #1: Pull request #1167 opened by 4ever2

4m 38s 4ever2:nix-main

4ever2:nix-main

4m 38s