Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
795 workflow runs
795 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unsafe inline beta and unboxing transforms MetaCoq CI #2694: Pull request #1061 opened by mattam82
February 23, 2024 13:21 36m 58s unsafe-inline-beta
unsafe-inline-beta
February 23, 2024 13:21 36m 58s
Unsafe inlining and beta-reduction transfomations MetaCoq CI #2693: Commit 1c9e18a pushed by mattam82
February 23, 2024 13:20 37m 16s unsafe-inline-beta
unsafe-inline-beta
February 23, 2024 13:20 37m 16s
Merge pull request #1059 from MetaCoq/reorder-constructors MetaCoq CI #2692: Commit f9c62c5 pushed by mattam82
February 21, 2024 18:19 36m 56s coq-8.17
coq-8.17
February 21, 2024 18:19 36m 56s
Reorder constructors MetaCoq CI #2691: Pull request #1059 synchronize by mattam82
February 21, 2024 16:58 37m 24s reorder-constructors
reorder-constructors
February 21, 2024 16:58 37m 24s
Make reordering function transparent so it can compute in Coq MetaCoq CI #2690: Commit e622b43 pushed by mattam82
February 21, 2024 16:58 36m 59s reorder-constructors
reorder-constructors
February 21, 2024 16:58 36m 59s
Merge pull request #1060 from Yann-Leray/rewrite-rules-adapt MetaCoq CI #2689: Commit be825a7 pushed by yannl35133
February 21, 2024 13:44 14m 15s main
main
February 21, 2024 13:44 14m 15s
Adapt to coq/coq#18038 (rewrite rules) MetaCoq CI #2688: Pull request #1060 opened by yannl35133
February 21, 2024 13:44 14m 5s Yann-Leray:rewrite-rules-adapt
Yann-Leray:rewrite-rules-adapt
February 21, 2024 13:44 14m 5s
Reorder constructors MetaCoq CI #2687: Pull request #1059 opened by mattam82
February 21, 2024 11:12 42m 40s reorder-constructors
reorder-constructors
February 21, 2024 11:12 42m 40s
Implement reordering of constructors (for Extract Inductive) MetaCoq CI #2686: Commit e896e06 pushed by mattam82
February 21, 2024 11:12 42m 16s reorder-constructors
reorder-constructors
February 21, 2024 11:12 42m 16s
Implement reordering of constructors (for Extract Inductive) MetaCoq CI #2685: Commit aa015c2 pushed by mattam82
February 21, 2024 10:32 42m 35s reorder-constructors
reorder-constructors
February 21, 2024 10:32 42m 35s
Merge pull request #1029 from herbelin/main+adapt-coq-pr18397-declare… MetaCoq CI #2684: Commit 25effb8 pushed by ppedrot
February 20, 2024 18:38 33m 47s main
main
February 20, 2024 18:38 33m 47s
Implement tLazy and tForce in EAst (#1058) MetaCoq CI #2683: Commit 9e3e264 pushed by mattam82
February 20, 2024 12:50 37m 39s coq-8.17
coq-8.17
February 20, 2024 12:50 37m 39s
Implement tLazy and tForce in EAst MetaCoq CI #2682: Pull request #1058 opened by mattam82
February 20, 2024 06:56 36m 14s lazy-force
lazy-force
February 20, 2024 06:56 36m 14s
Install archive file for static linking MetaCoq CI #2681: Commit eb2bf62 pushed by mattam82
February 20, 2024 06:54 36m 44s lazy-force
lazy-force
February 20, 2024 06:54 36m 44s
Merge pull request #1055 from proux01/coq_18590 MetaCoq CI #2680: Commit 156fce5 pushed by ppedrot
February 19, 2024 16:59 33m 6s main
main
February 19, 2024 16:59 33m 6s
clean up in ErasureCorrectness MetaCoq CI #2679: Commit f23a18c pushed by tabareau
February 19, 2024 11:12 37m 2s coq-8.17
coq-8.17
February 19, 2024 11:12 37m 2s
Avoid Ee := EWcbvEval module aliases which result in ugly extraction … MetaCoq CI #2678: Commit 07c0a82 pushed by mattam82
February 17, 2024 09:52 35m 34s coq-8.17
coq-8.17
February 17, 2024 09:52 35m 34s
Avoid Ee := EWcbvEval module aliases which result in ugly extraction … MetaCoq CI #2677: Pull request #1057 opened by mattam82
February 15, 2024 16:21 36m 49s fix-module-aliases
fix-module-aliases
February 15, 2024 16:21 36m 49s
Avoid Ee := EWcbvEval module aliases which result in ugly extraction … MetaCoq CI #2676: Commit 25cde3a pushed by mattam82
February 15, 2024 16:20 36m 9s fix-module-aliases
fix-module-aliases
February 15, 2024 16:20 36m 9s
Resurrect the cofix transform, adding a new axiom for the admitted pr… MetaCoq CI #2675: Commit 6a26f38 pushed by mattam82
February 14, 2024 06:47 36m 22s coq-8.17
coq-8.17
February 14, 2024 06:47 36m 22s
Resurrect the cofix transform, adding a new axiom for the admitted pr… MetaCoq CI #2674: Pull request #1056 synchronize by mattam82
February 13, 2024 21:58 36m 26s cofix-transform
cofix-transform
February 13, 2024 21:58 36m 26s
Fix quoting of cofix to make translation correct MetaCoq CI #2673: Commit 3ac85ae pushed by mattam82
February 13, 2024 21:58 36m 36s cofix-transform
cofix-transform
February 13, 2024 21:58 36m 36s
Resurrect the cofix transform, adding a new axiom for the admitted pr… MetaCoq CI #2672: Pull request #1056 synchronize by mattam82
February 13, 2024 15:38 36m 27s cofix-transform
cofix-transform
February 13, 2024 15:38 36m 27s
Fix metacoq_tour MetaCoq CI #2671: Commit a2829f8 pushed by mattam82
February 13, 2024 15:38 36m 31s cofix-transform
cofix-transform
February 13, 2024 15:38 36m 31s
Resurrect the cofix transform, adding a new axiom for the admitted pr… MetaCoq CI #2670: Pull request #1056 opened by mattam82
February 13, 2024 15:28 9m 33s cofix-transform
cofix-transform
February 13, 2024 15:28 9m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.