Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
659 workflow runs
659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #763: Pull request #1105 opened by dependabot bot
October 3, 2024 16:26 33m 45s
October 3, 2024 16:26 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
October 3, 2024 16:26 33m 30s
October 3, 2024 16:26 33m 30s
Bump cachix/install-nix-action from V28 to 30 MetaCoq CI #2857: Commit 050f82b pushed by dependabot bot
October 3, 2024 16:26 30m 11s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
October 3, 2024 16:26 30m 11s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) MetaCoq CI #2856: Pull request #1104 opened by SkySkimmer
October 1, 2024 14:04 13m 21s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 1, 2024 14:04 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
September 26, 2024 16:55 41m 28s
September 26, 2024 16:55 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
September 26, 2024 16:55 33m 45s
September 26, 2024 16:55 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
September 26, 2024 16:55 33m 30s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
September 26, 2024 16:55 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
September 26, 2024 16:55 44m 0s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
September 26, 2024 16:55 44m 0s
Bump cachix/install-nix-action from V28 to 29 MetaCoq CI #2855: Pull request #1103 opened by dependabot bot
September 26, 2024 16:55 55m 50s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
September 26, 2024 16:55 55m 50s
Bump cachix/install-nix-action from V28 to 29 MetaCoq CI #2854: Commit 30b1cde pushed by dependabot bot
September 26, 2024 16:55 29m 44s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
September 26, 2024 16:55 29m 44s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2852: Pull request #1102 synchronize by proux01
September 23, 2024 12:32 13m 2s proux01:stdlib_repo
proux01:stdlib_repo
September 23, 2024 12:32 13m 2s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2851: Pull request #1102 opened by proux01
September 17, 2024 06:31 13m 7s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:31 13m 7s
Take relevance into account for typing MetaCoq CI #2850: Pull request #1101 opened by yannl35133
September 16, 2024 17:39 34m 8s Yann-Leray:relevance-typing
Yann-Leray:relevance-typing
September 16, 2024 17:39 34m 8s
Merge pull request #1086 from MevenBertrand/correct-noccur MetaCoq CI #2849: Commit d4a0fff pushed by mattam82
September 16, 2024 09:15 33m 54s coq-8.19
coq-8.19
September 16, 2024 09:15 33m 54s
Merge pull request #1087 from MevenBertrand/correct-noccur-main MetaCoq CI #2848: Commit b5c0239 pushed by mattam82
September 16, 2024 09:15 34m 27s main
main
September 16, 2024 09:15 34m 27s
Point 'index' in CoqDocJS header to index.html (#1094) MetaCoq CI #2847: Commit ac6100e pushed by mattam82
September 16, 2024 09:14 34m 35s coq-8.19
coq-8.19
September 16, 2024 09:14 34m 35s
Bump cachix/install-nix-action from V27 to 28 (#1100) MetaCoq CI #2846: Commit 7943c6d pushed by mattam82
September 16, 2024 09:13 29m 50s coq-8.16
coq-8.16
September 16, 2024 09:13 29m 50s
Bump cachix/install-nix-action from V27 to 28 (#1100) Nix CI for bundle coq-8.16 #760: Commit 7943c6d pushed by mattam82
September 16, 2024 09:13 5m 33s coq-8.16
coq-8.16
September 16, 2024 09:13 5m 33s
Bump cachix/install-nix-action from V27 to 28 (#1100) Nix CI for bundle coq-8.16 #758: Commit 7943c6d pushed by mattam82
September 16, 2024 09:13 2m 7s coq-8.16
coq-8.16
September 16, 2024 09:13 2m 7s
Bump cachix/install-nix-action from V27 to 28 Nix CI for bundle coq-8.16 #757: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 33m 20s
September 12, 2024 16:23 33m 20s
Bump cachix/install-nix-action from V27 to 28 Nix CI for bundle coq-8.16 #759: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 33m 24s
September 12, 2024 16:23 33m 24s
Bump cachix/install-nix-action from V27 to 28 MetaCoq CI #2845: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 29m 55s dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
September 12, 2024 16:23 29m 55s
Bump cachix/install-nix-action from V27 to 28 Nix CI for bundle coq-8.16 #758: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 33m 32s dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
September 12, 2024 16:23 33m 32s
Bump cachix/install-nix-action from V27 to 28 Nix CI for bundle coq-8.16 #756: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 32m 49s dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
September 12, 2024 16:23 32m 49s
Bump cachix/install-nix-action from V27 to 28 MetaCoq CI #2844: Commit a586da2 pushed by dependabot bot
September 12, 2024 16:23 30m 45s dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
September 12, 2024 16:23 30m 45s