Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
693 workflow runs
693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add PCUICESubst file to verify Coq code MetaCoq CI #2884: Pull request #1099 synchronize by yannl35133
November 12, 2024 10:06 34m 37s Yann-Leray:esubst
Yann-Leray:esubst
November 12, 2024 10:06 34m 37s
Merge pull request #1117 from 4ever2/eta-expand-app-fix MetaCoq CI #2883: Commit a9f5da7 pushed by mattam82
November 12, 2024 06:40 34m 6s coq-8.19
coq-8.19
November 12, 2024 06:40 34m 6s
Fix substitution during eta expansion of partial application MetaCoq CI #2882: Pull request #1117 ready_for_review by 4ever2
November 8, 2024 12:45 33m 35s 4ever2:eta-expand-app-fix
4ever2:eta-expand-app-fix
November 8, 2024 12:45 33m 35s
Meta-programming library MetaCoq CI #2881: Pull request #1116 synchronize by TheoWinterhalter
November 8, 2024 12:45 13m 0s lib
lib
November 8, 2024 12:45 13m 0s
Draft meta-programming library MetaCoq CI #2880: Commit 61581b1 pushed by TheoWinterhalter
November 8, 2024 12:45 12m 58s lib
lib
November 8, 2024 12:45 12m 58s
Fix substitution during eta expansion of partial application MetaCoq CI #2879: Pull request #1117 opened by 4ever2
November 8, 2024 12:05 34m 15s 4ever2:eta-expand-app-fix
4ever2:eta-expand-app-fix
November 8, 2024 12:05 34m 15s
Meta-programming library MetaCoq CI #2878: Pull request #1116 opened by TheoWinterhalter
November 8, 2024 09:30 13m 15s lib
lib
November 8, 2024 09:30 13m 15s
Improve evar handling in tmUnquote/tmUnquoteTyped MetaCoq CI #2877: Pull request #1113 opened by MathisBD
November 4, 2024 11:41 30m 43s MathisBD:tm-unquote-evars
MathisBD:tm-unquote-evars
November 4, 2024 11:41 30m 43s
adapt to Zeq_bool:=Z.eqb (https://github.com/coq/coq/pull/19801) MetaCoq CI #2876: Pull request #1112 opened by andres-erbsen
November 3, 2024 20:40 13m 1s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 20:40 13m 1s
Improve evar_map handling in tmMkDefinition and friends MetaCoq CI #2875: Pull request #1111 opened by MathisBD
November 1, 2024 11:00 13m 23s MathisBD:fix-tm-mk-def
MathisBD:fix-tm-mk-def
November 1, 2024 11:00 13m 23s
Nix CI reverse dependency compatibility testing MetaCoq CI #2874: Pull request #1107 ready_for_review by 4ever2
October 31, 2024 15:15 33m 58s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 31, 2024 15:15 33m 58s
Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #3: Pull request #1107 synchronize by 4ever2
October 31, 2024 15:14 2h 48m 7s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 31, 2024 15:14 2h 48m 7s
Nix CI reverse dependency compatibility testing MetaCoq CI #2873: Pull request #1107 synchronize by 4ever2
October 31, 2024 15:14 1m 8s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 31, 2024 15:14 1m 8s
Fix quoting and unquoting of primitive strings (#1109) for 8.29 (#1110) MetaCoq CI #2872: Commit f251f2a pushed by yforster
October 30, 2024 14:50 32m 18s coq-8.20
coq-8.20
October 30, 2024 14:50 32m 18s
Fix quoting and unquoting of primitive strings (#1109) for 8.20 MetaCoq CI #2871: Pull request #1110 opened by yforster
October 30, 2024 14:06 32m 0s yforster:cherry-pick-tString
yforster:cherry-pick-tString
October 30, 2024 14:06 32m 0s
Fix quoting and unquoting of primitive strings (#1109) MetaCoq CI #2870: Commit 65aa111 pushed by yforster
October 30, 2024 14:04 31m 28s main
main
October 30, 2024 14:04 31m 28s
Fix quoting and unquoting of primitive strings MetaCoq CI #2869: Pull request #1109 synchronize by MathisBD
October 30, 2024 13:05 32m 22s MathisBD:fix-quote-pstring
MathisBD:fix-quote-pstring
October 30, 2024 13:05 32m 22s
Fix quoting and unquoting of primitive strings MetaCoq CI #2868: Pull request #1109 opened by MathisBD
October 29, 2024 23:45 32m 14s MathisBD:fix-quote-pstring
MathisBD:fix-quote-pstring
October 29, 2024 23:45 32m 14s
Nix CI reverse dependency compatibility testing MetaCoq CI #2867: Pull request #1107 synchronize by 4ever2
October 29, 2024 22:00 33m 40s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 29, 2024 22:00 33m 40s
Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #2: Pull request #1107 synchronize by 4ever2
October 29, 2024 22:00 2h 45m 59s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 29, 2024 22:00 2h 45m 59s
Draft meta-programming library MetaCoq CI #2866: Commit 07c6645 pushed by TheoWinterhalter
October 29, 2024 13:22 13m 18s lib
lib
October 29, 2024 13:22 13m 18s
dependabot updates for coq-8.19 branch MetaCoq CI #2865: Commit c451d74 pushed by JasonGross
October 16, 2024 19:41 34m 4s coq-8.19
coq-8.19
October 16, 2024 19:41 34m 4s
Bump cachix/install-nix-action from V28 to 30 (#1105) MetaCoq CI #2864: Commit 8359679 pushed by dependabot bot
October 16, 2024 19:38 29m 51s coq-8.16
coq-8.16
October 16, 2024 19:38 29m 51s
Bump cachix/install-nix-action from V28 to 30 (#1105) Nix CI for bundle coq-8.16 #765: Commit 8359679 pushed by dependabot bot
October 16, 2024 19:38 5m 46s coq-8.16
coq-8.16
October 16, 2024 19:38 5m 46s
Bump cachix/install-nix-action from V28 to 30 (#1105) Nix CI for bundle coq-8.16 #763: Commit 8359679 pushed by dependabot bot
October 16, 2024 19:38 2m 9s coq-8.16
coq-8.16
October 16, 2024 19:38 2m 9s