Skip to content

Actions: TDiazT/metarocq

Actions

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Untyped quote Nix CI for bundle coq-8.20 #2: Pull request #1 opened by TDiazT
36m 37s
36m 37s
Merge pull request #1156 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.20 #1: Commit 90ec400 pushed by TDiazT
8m 27s coq-8.20
coq-8.20
8m 27s