Skip to content

Actions: MetaRocq/metarocq

Actions

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 4 to 5 Nix CI for bundle coq-8.20 #12: Pull request #1196 opened by dependabot bot
38m 26s
38m 26s
Bump actions/checkout from 4 to 5 Nix CI for bundle coq-8.20 #11: Pull request #1196 opened by dependabot bot
41m 23s dependabot/github_actions/coq-8.20/actions/checkout-5
dependabot/github_actions/coq-8.20/actions/checkout-5
41m 23s
Merge pull request #1156 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.20 #10: Commit 90ec400 pushed by mattam82
1h 2m 2s coq-8.20
coq-8.20
1h 2m 2s
Merge pull request #1155 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.20 #9: Commit 54ae643 pushed by mattam82
1h 0m 33s coq-8.20
coq-8.20
1h 0m 33s
Bump cachix/cachix-action from 15 to 16 Nix CI for bundle coq-8.20 #8: Pull request #1158 opened by dependabot bot
3h 15m 9s dependabot/github_actions/cachix/cachix-action-16
dependabot/github_actions/cachix/cachix-action-16
3h 15m 9s
Bump cachix/install-nix-action from 30 to 31 Nix CI for bundle coq-8.20 #7: Pull request #1157 opened by dependabot bot
3h 16m 24s dependabot/github_actions/cachix/install-nix-action-31
dependabot/github_actions/cachix/install-nix-action-31
3h 16m 24s
Bump cachix/install-nix-action from 30 to 31 Nix CI for bundle coq-8.20 #6: Pull request #1156 opened by dependabot bot
3h 24m 27s dependabot/github_actions/coq-8.20/cachix/install-nix-action-31
dependabot/github_actions/coq-8.20/cachix/install-nix-action-31
3h 24m 27s
Bump cachix/cachix-action from 15 to 16 Nix CI for bundle coq-8.20 #5: Pull request #1155 opened by dependabot bot
3h 29m 25s dependabot/github_actions/coq-8.20/cachix/cachix-action-16
dependabot/github_actions/coq-8.20/cachix/cachix-action-16
3h 29m 25s
Merge pull request #1125 from yforster/fix-eqdec-opacity Nix CI for bundle coq-8.20 #4: Commit 16acfe1 pushed by mattam82
1h 36m 13s coq-8.20
coq-8.20
1h 36m 13s
Merge pull request #1130 from yforster/tmMkInductive-in-tactic Nix CI for bundle coq-8.20 #3: Commit 6aadfb9 pushed by mattam82
1h 33m 51s coq-8.20
coq-8.20
1h 33m 51s
Merge pull request #1143 from 4ever2/nix-8.20 Nix CI for bundle coq-8.20 #2: Commit 005ae71 pushed by mattam82
1h 35m 54s coq-8.20
coq-8.20
1h 35m 54s
Nix CI for 8.20 branch Nix CI for bundle coq-8.20 #1: Pull request #1143 opened by 4ever2
2h 36m 20s 4ever2:nix-8.20
4ever2:nix-8.20
2h 36m 20s