Skip to content

Actions: MetaRocq/metarocq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2916: Pull request #1102 synchronize by proux01
12m 40s proux01:stdlib_repo
proux01:stdlib_repo
12m 40s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2915: Pull request #1102 synchronize by proux01
12m 46s proux01:stdlib_repo
proux01:stdlib_repo
12m 46s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2914: Pull request #1102 synchronize by proux01
12m 36s proux01:stdlib_repo
proux01:stdlib_repo
12m 36s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2913: Pull request #1102 synchronize by proux01
12m 33s proux01:stdlib_repo
proux01:stdlib_repo
12m 33s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2912: Pull request #1102 synchronize by proux01
12m 35s proux01:stdlib_repo
proux01:stdlib_repo
12m 35s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2911: Pull request #1102 synchronize by proux01
12m 33s proux01:stdlib_repo
proux01:stdlib_repo
12m 33s
Adapt to https://github.com/coq/coq/pull/19530 MetaRocq CI #2910: Pull request #1102 synchronize by proux01
12m 27s proux01:stdlib_repo
proux01:stdlib_repo
12m 27s
Fix opacity issues in EqDec term MetaRocq CI #2909: Pull request #1125 opened by yforster
32m 7s yforster:fix-eqdec-opacity
yforster:fix-eqdec-opacity
32m 7s
Better template-coq printers MetaRocq CI #2908: Pull request #1124 synchronize by MathisBD
32m 5s MathisBD:template-printers-8.20
MathisBD:template-printers-8.20
32m 5s
Better template-coq printers MetaRocq CI #2907: Pull request #1124 synchronize by MathisBD
29m 41s MathisBD:template-printers-8.20
MathisBD:template-printers-8.20
29m 41s
Better template-coq printers MetaRocq CI #2906: Pull request #1124 synchronize by MathisBD
28m 14s MathisBD:template-printers-8.20
MathisBD:template-printers-8.20
28m 14s
Better template-coq printers MetaRocq CI #2905: Pull request #1124 synchronize by MathisBD
1m 29s MathisBD:template-printers-8.20
MathisBD:template-printers-8.20
1m 29s
Better template-coq printers MetaRocq CI #2904: Pull request #1124 opened by MathisBD
13m 18s MathisBD:template-printers-8.20
MathisBD:template-printers-8.20
13m 18s
Remove bugged option MetaCoq Template Monad Debug. MetaRocq CI #2903: Pull request #1123 opened by SkySkimmer
31m 43s SkySkimmer:rm-bugged-option
SkySkimmer:rm-bugged-option
31m 43s
initial commit (#1122) MetaRocq CI #2902: Commit 5672294 pushed by TheoWinterhalter
31m 59s coq-8.20
coq-8.20
31m 59s
metaprogramming library (8.20 version) MetaRocq CI #2901: Pull request #1122 synchronize by MathisBD
32m 34s MathisBD:lib-8.20
MathisBD:lib-8.20
32m 34s
metaprogramming library (8.20 version) MetaRocq CI #2900: Pull request #1122 synchronize by MathisBD
4m 47s MathisBD:lib-8.20
MathisBD:lib-8.20
4m 47s
metaprogramming library (8.20 version) MetaRocq CI #2899: Pull request #1122 synchronize by MathisBD
30m 45s MathisBD:lib-8.20
MathisBD:lib-8.20
30m 45s
metaprogramming library (8.20 version) MetaRocq CI #2898: Pull request #1122 opened by MathisBD
5m 26s MathisBD:lib-8.20
MathisBD:lib-8.20
5m 26s
Mention 8.20 in DOC.md and INSTALL.md (#1121) MetaRocq CI #2897: Commit 6e75b70 pushed by yforster
32m 38s coq-8.20
coq-8.20
32m 38s
Mention 8.20 in DOC.md and INSTALL.md MetaRocq CI #2896: Pull request #1121 opened by yforster
32m 27s yforster:doc-8.20
yforster:doc-8.20
32m 27s
Meta-programming library MetaRocq CI #2895: Pull request #1116 synchronize by MathisBD
26m 44s lib
lib
26m 44s
tweaks MetaRocq CI #2894: Commit 0f9d6da pushed by MathisBD
26m 10s lib
lib
26m 10s
Meta-programming library MetaRocq CI #2893: Pull request #1116 synchronize by MathisBD
16m 30s lib
lib
16m 30s
tweaks MetaRocq CI #2892: Commit 96c53be pushed by MathisBD
26m 5s lib
lib
26m 5s
ProTip! You can narrow down the results and go further in time using created:<2024-11-16 or the other filters available.