Nix CI for bundle coq-8.16 · Workflow runs · TDiazT/metarocq · GitHub

Actions

All workflows
Workflows
- 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.20 Nix CI for bundle coq-8.20
- Nix CI for bundle rocq-9.1 Nix CI for bundle rocq-9.1
- Nix CI for bundle rocq-dev Nix CI for bundle rocq-dev
Management
- Caches

Nix CI for bundle coq-8.16

Actions

Loading...
Loading

nix-action-coq-8.16-macos.yml

1 workflow run

1 workflow run

Merge pull request #1149 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.16 #1: Commit a50b36c pushed by TDiazT

40m 15s coq-8.16

coq-8.16

40m 15s