Skip to content

Actions: MetaRocq/metarocq

Actions

MetaRocq CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1150 from SkySkimmer/clean-univ MetaRocq CI #2995: Commit d7f5d52 pushed by ppedrot
1m 23s main
main
1m 23s
Adapt to coq/coq#20360 (pr_universe_context_set renamed) MetaRocq CI #2994: Pull request #1150 ready_for_review by ppedrot
1m 31s SkySkimmer:clean-univ
SkySkimmer:clean-univ
1m 31s
Adapt to coq/coq#20360 (pr_universe_context_set renamed) MetaRocq CI #2993: Pull request #1150 opened by SkySkimmer
1m 22s SkySkimmer:clean-univ
SkySkimmer:clean-univ
1m 22s
Bump cachix/cachix-action from 15 to 16 MetaRocq CI #2992: Pull request #1149 opened by dependabot bot
30m 9s dependabot/github_actions/coq-8.16/cachix/cachix-action-16
dependabot/github_actions/coq-8.16/cachix/cachix-action-16
30m 9s
Bump cachix/cachix-action from 15 to 16 MetaRocq CI #2991: Commit d9d42fd pushed by dependabot bot
30m 7s dependabot/github_actions/coq-8.16/cachix/cachix-action-16
dependabot/github_actions/coq-8.16/cachix/cachix-action-16
30m 7s
Bump cachix/install-nix-action from 30 to 31 MetaRocq CI #2990: Pull request #1148 opened by dependabot bot
30m 2s dependabot/github_actions/coq-8.16/cachix/install-nix-action-31
dependabot/github_actions/coq-8.16/cachix/install-nix-action-31
30m 2s
Bump cachix/install-nix-action from 30 to 31 MetaRocq CI #2989: Commit 15a0169 pushed by dependabot bot
29m 48s dependabot/github_actions/coq-8.16/cachix/install-nix-action-31
dependabot/github_actions/coq-8.16/cachix/install-nix-action-31
29m 48s
Merge pull request #1147 from ppedrot/rm-tc-evd-hook MetaRocq CI #2988: Commit 18e2e49 pushed by ppedrot
1m 52s main
main
1m 52s
Adapt w.r.t. coq/coq#20278. MetaRocq CI #2987: Pull request #1147 opened by ppedrot
1m 32s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
1m 32s
Merge pull request #1113 from MathisBD/tm-unquote-evars MetaRocq CI #2986: Commit d19cfb9 pushed by yforster
31m 25s coq-8.20
coq-8.20
31m 25s
Merge pull request #1113 from MathisBD/tm-unquote-evars MetaRocq CI #2985: Pull request #1146 opened by yforster
31m 34s yforster:backport-mathis
yforster:backport-mathis
31m 34s
Merge pull request #1113 from MathisBD/tm-unquote-evars MetaRocq CI #2984: Commit 7033a53 pushed by yforster
1m 31s main
main
1m 31s
Merge pull request #1145 from SkySkimmer/template-entry-qvar MetaRocq CI #2983: Commit 58718b5 pushed by ppedrot
1m 29s main
main
1m 29s
Adapt to coq/coq#20178 (UContext.to_context returns qvar set not quality set) MetaRocq CI #2982: Pull request #1145 ready_for_review by ppedrot
1m 30s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
1m 30s
Adapt to coq/coq#20178 (UContext.to_context returns qvar set not quality set) MetaRocq CI #2981: Pull request #1145 synchronize by SkySkimmer
23s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
23s
Adapt to coq/coq#20178 (UContext.to_context returns qvar set not quality set) MetaRocq CI #2980: Pull request #1145 synchronize by SkySkimmer
24s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
24s
Adapt to coq/coq#20178 (UContext.to_context returns qvar set not quality set) MetaRocq CI #2979: Pull request #1145 opened by SkySkimmer
25s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
25s
MetaRocq CI MetaRocq CI #2978: by ppedrot
2m 5s main
main
2m 5s
Adapt w.r.t. coq/coq#20165. MetaRocq CI #2977: Pull request #1144 ready_for_review by ppedrot
2m 7s ppedrot:environ-view-serlib
ppedrot:environ-view-serlib
2m 7s
Adapt w.r.t. coq/coq#20165. MetaRocq CI #2976: Pull request #1144 opened by ppedrot
2m 3s ppedrot:environ-view-serlib
ppedrot:environ-view-serlib
2m 3s
CI stop testing ocaml 4.09 (equations needs >= 4.10 now) MetaRocq CI #2975: Pull request #1142 synchronize by SkySkimmer
29m 37s SkySkimmer:fix-ci
SkySkimmer:fix-ci
29m 37s
CI stop testing ocaml 4.09 (equations needs >= 4.10 now) MetaRocq CI #2974: Pull request #1142 synchronize by SkySkimmer
33s SkySkimmer:fix-ci
SkySkimmer:fix-ci
33s
Nix CI for 8.20 branch MetaRocq CI #2973: Pull request #1143 opened by 4ever2
31m 57s 4ever2:nix-8.20
4ever2:nix-8.20
31m 57s
CI stop testing ocaml 4.09 (equations needs >= 4.10 now) MetaRocq CI #2972: Pull request #1142 opened by SkySkimmer
29m 7s SkySkimmer:fix-ci
SkySkimmer:fix-ci
29m 7s
Merge pull request #1141 from SkySkimmer/patch-1 MetaRocq CI #2971: Commit 869f77a pushed by ppedrot
2m 11s main
main
2m 11s