Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
661 workflow runs
661 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1071 from SkySkimmer/redexpr-clean MetaCoq CI #2743: Commit 6ec591b pushed by ppedrot
April 9, 2024 06:42 14m 12s main
main
April 9, 2024 06:42 14m 12s
Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) MetaCoq CI #2742: Pull request #1071 ready_for_review by ppedrot
April 9, 2024 06:41 14m 32s SkySkimmer:redexpr-clean
SkySkimmer:redexpr-clean
April 9, 2024 06:41 14m 32s
Merge pull request #1074 from SkySkimmer/indirect MetaCoq CI #2741: Commit 9aa9086 pushed by ppedrot
April 7, 2024 10:28 29m 29s main
main
April 7, 2024 10:28 29m 29s
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) MetaCoq CI #2740: Pull request #1074 ready_for_review by ppedrot
April 7, 2024 10:28 29m 12s SkySkimmer:indirect
SkySkimmer:indirect
April 7, 2024 10:28 29m 12s
Take relevance into account for typing MetaCoq CI #2739: Pull request #1075 synchronize by yannl35133
April 5, 2024 17:03 35m 32s Yann-Leray:relevance-typing
Yann-Leray:relevance-typing
April 5, 2024 17:03 35m 32s
Take relevance into account for typing MetaCoq CI #2738: Pull request #1075 opened by yannl35133
April 5, 2024 13:28 29m 34s Yann-Leray:relevance-typing
Yann-Leray:relevance-typing
April 5, 2024 13:28 29m 34s
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) MetaCoq CI #2737: Pull request #1074 opened by SkySkimmer
April 5, 2024 11:17 29m 33s SkySkimmer:indirect
SkySkimmer:indirect
April 5, 2024 11:17 29m 33s
Adapt to coq/coq#18867 (inductive_sort_family doesn't exist) MetaCoq CI #2736: Pull request #1073 opened by SkySkimmer
April 4, 2024 13:43 33m 57s SkySkimmer:non-prop-template
SkySkimmer:non-prop-template
April 4, 2024 13:43 33m 57s
Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) MetaCoq CI #2735: Pull request #1071 opened by SkySkimmer
March 28, 2024 15:34 14m 21s SkySkimmer:redexpr-clean
SkySkimmer:redexpr-clean
March 28, 2024 15:34 14m 21s
Be more clever when forcing the body of a translated cofix MetaCoq CI #2734: Commit a3d9a14 pushed by mattam82
March 28, 2024 08:35 46m 29s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 28, 2024 08:35 46m 29s
Merge pull request #1070 from MetaCoq/fix-cofix-to-lazy-let MetaCoq CI #2733: Commit 67097a4 pushed by mattam82
March 28, 2024 08:35 46m 11s coq-8.17
coq-8.17
March 28, 2024 08:35 46m 11s
Fix the translation of cofix to fix MetaCoq CI #2732: Pull request #1070 synchronize by mattam82
March 25, 2024 13:02 47m 4s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 25, 2024 13:02 47m 4s
Be more clever when forcing the body of a translated cofix MetaCoq CI #2731: Commit a3d9a14 pushed by mattam82
March 25, 2024 13:02 46m 38s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 25, 2024 13:02 46m 38s
Fix the translation of cofix to fix MetaCoq CI #2730: Pull request #1070 synchronize by mattam82
March 25, 2024 09:17 42m 30s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 25, 2024 09:17 42m 30s
WIP correcting cofixpoint translation MetaCoq CI #2729: Commit f593f92 pushed by mattam82
March 25, 2024 09:17 41m 31s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 25, 2024 09:17 41m 31s
Fix the translation of cofix to fix MetaCoq CI #2728: Pull request #1070 opened by mattam82
March 21, 2024 10:02 46m 6s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 21, 2024 10:02 46m 6s
Fix the translation of cofix to fix to move the head constructors's l… MetaCoq CI #2727: Commit d704705 pushed by mattam82
March 21, 2024 09:58 47m 10s fix-cofix-to-lazy-let
fix-cofix-to-lazy-let
March 21, 2024 09:58 47m 10s
Update make_opam_files to upload the archive to the releases folder o… MetaCoq CI #2726: Commit f55eb7c pushed by mattam82
March 19, 2024 09:42 34m 5s coq-8.19
coq-8.19
March 19, 2024 09:42 34m 5s
Fix after merge MetaCoq CI #2725: Commit 9af0b0f pushed by mattam82
March 18, 2024 10:38 34m 8s v1.3.1-8.19
v1.3.1-8.19
March 18, 2024 10:38 34m 8s
Fix script due to misclassification of implicit arg as potential type… MetaCoq CI #2724: Commit 96b80c9 pushed by mattam82
March 18, 2024 10:34 34m 18s v1.3.1-8.18
v1.3.1-8.18
March 18, 2024 10:34 34m 18s
Fix after merge MetaCoq CI #2723: Commit 9af0b0f pushed by mattam82
March 18, 2024 09:48 33m 48s coq-8.19
coq-8.19
March 18, 2024 09:48 33m 48s
Fix script due to misclassification of implicit arg as potential type… MetaCoq CI #2722: Commit 96b80c9 pushed by mattam82
March 18, 2024 09:34 34m 12s coq-8.18
coq-8.18
March 18, 2024 09:34 34m 12s
Merge pull request #1068 from MetaCoq/fix-1042 MetaCoq CI #2721: Commit e4f4fd5 pushed by mattam82
March 18, 2024 09:03 36m 42s v1.3.1-8.17
v1.3.1-8.17
March 18, 2024 09:03 36m 42s
Merge pull request #1068 from MetaCoq/fix-1042 MetaCoq CI #2720: Commit e4f4fd5 pushed by mattam82
March 15, 2024 17:04 37m 52s coq-8.17
coq-8.17
March 15, 2024 17:04 37m 52s
Fix issue #1042 MetaCoq Run does not support evars. MetaCoq CI #2719: Pull request #1068 opened by mattam82
March 15, 2024 16:25 37m 25s fix-1042
fix-1042
March 15, 2024 16:25 37m 25s