Skip to content

Actions: MetaRocq/metarocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,395 workflow runs
2,395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #1: Pull request #1107 opened by 4ever2
1h 18m 35s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
1h 18m 35s
Nix CI reverse dependency compatibility testing MetaRocq CI #2863: Pull request #1107 opened by 4ever2
34m 2s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
34m 2s
Add .mailmap for git shortlog -nse MetaRocq CI #2862: Pull request #1106 opened by JasonGross
33m 5s JasonGross:coq-8.19+mailmap
JasonGross:coq-8.19+mailmap
33m 5s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2861: Pull request #1102 synchronize by proux01
12m 59s proux01:stdlib_repo
proux01:stdlib_repo
12m 59s
Merge pull request #1104 from SkySkimmer/push-context-strict MetaRocq CI #2860: Commit fb8d911 pushed by ppedrot
2m 8s main
main
2m 8s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) MetaRocq CI #2859: Pull request #1104 ready_for_review by ppedrot
2m 16s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
2m 16s
Bump cachix/install-nix-action from V28 to 30 MetaRocq CI #2858: Pull request #1105 opened by dependabot bot
29m 52s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
29m 52s
Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #764: Pull request #1105 opened by dependabot bot
33m 51s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
33m 51s
Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #762: Pull request #1105 opened by dependabot bot
33m 47s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
33m 47s
Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #763: Pull request #1105 opened by dependabot bot
33m 45s
33m 45s
Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #761: Pull request #1105 opened by dependabot bot
33m 30s
33m 30s
Bump cachix/install-nix-action from V28 to 30 MetaRocq CI #2857: Commit 050f82b pushed by dependabot bot
30m 11s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
30m 11s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) MetaRocq CI #2856: Pull request #1104 opened by SkySkimmer
13m 21s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
13m 21s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle coq-8.16 #762: Pull request #1103 opened by dependabot bot
41m 28s
41m 28s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle coq-8.16 #760: Pull request #1103 opened by dependabot bot
33m 45s
33m 45s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle coq-8.16 #759: Pull request #1103 opened by dependabot bot
33m 30s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
33m 30s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle coq-8.16 #761: Pull request #1103 opened by dependabot bot
44m 0s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
44m 0s
Bump cachix/install-nix-action from V28 to 29 MetaRocq CI #2855: Pull request #1103 opened by dependabot bot
55m 50s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
55m 50s
Bump cachix/install-nix-action from V28 to 29 MetaRocq CI #2854: Commit 30b1cde pushed by dependabot bot
29m 44s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
29m 44s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2852: Pull request #1102 synchronize by proux01
13m 2s proux01:stdlib_repo
proux01:stdlib_repo
13m 2s
ProTip! You can narrow down the results and go further in time using created:<2024-09-23 or the other filters available.