Skip to content

Actions: MetaCoq/metacoq

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
723 workflow runs
723 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Primitive flags
MetaCoq CI #2576: Pull request #1033 opened by mattam82
December 21, 2023 17:07 33m 58s primitive-flags
December 21, 2023 17:07 33m 58s
Primitive flags
Nix CI for bundle coq-8.16 #736: Pull request #1032 opened by mattam82
December 21, 2023 17:06 15m 33s
December 21, 2023 17:06 15m 33s
Primitive flags
Nix CI for bundle coq-8.16 #734: Pull request #1032 opened by mattam82
December 21, 2023 17:06 5m 29s
December 21, 2023 17:06 5m 29s
Add an EPrimitiveFlags to control the presence of ints/floats/arrays
MetaCoq CI #2575: Commit f526608 pushed by mattam82
December 21, 2023 17:05 33m 59s primitive-flags
December 21, 2023 17:05 33m 59s
Merge pull request #1007 from yannl35133/rejudgment
MetaCoq CI #2574: Commit e9b17dc pushed by mattam82
December 19, 2023 15:29 33m 12s coq-8.17
December 19, 2023 15:29 33m 12s
More unified judgment type and All_local_env
MetaCoq CI #2573: Pull request #1007 synchronize by yannl35133
December 16, 2023 22:48 33m 52s Yann-Leray:rejudgment
December 16, 2023 22:48 33m 52s
More unified judgment type and All_local_env
MetaCoq CI #2572: Pull request #1007 synchronize by yannl35133
December 16, 2023 21:26 30m 5s Yann-Leray:rejudgment
December 16, 2023 21:26 30m 5s
More unified judgment type and All_local_env
MetaCoq CI #2571: Pull request #1007 synchronize by yannl35133
December 16, 2023 19:17 30m 5s Yann-Leray:rejudgment
December 16, 2023 19:17 30m 5s
More unified judgment type and All_local_env
MetaCoq CI #2570: Pull request #1007 synchronize by yannl35133
December 15, 2023 21:53 14m 27s Yann-Leray:rejudgment
December 15, 2023 21:53 14m 27s
Merge pull request #1030 from MetaCoq/typed-extraction-integration
MetaCoq CI #2568: Commit b646cd3 pushed by mattam82
December 13, 2023 12:53 31m 10s coq-8.17
December 13, 2023 12:53 31m 10s
Typed extraction integration
MetaCoq CI #2567: Pull request #1030 opened by mattam82
December 13, 2023 10:21 30m 50s typed-extraction-integration
December 13, 2023 10:21 30m 50s
Merge pull request #1028 from proux01/fix_coq_18374
MetaCoq CI #2563: Commit 9b70a13 pushed by ppedrot
December 9, 2023 10:36 11m 31s main
December 9, 2023 10:36 11m 31s
Fix breakage from https://github.com/coq/coq/pull/18374
MetaCoq CI #2562: Pull request #1028 opened by proux01
December 8, 2023 16:27 11m 27s proux01:fix_coq_18374
December 8, 2023 16:27 11m 27s
Typed erasure variant
MetaCoq CI #2561: Commit c2620bb pushed by mattam82
December 7, 2023 13:12 31m 40s typed-extraction-integration
December 7, 2023 13:12 31m 40s
Typed extraction correctness
MetaCoq CI #2560: Pull request #1016 ready_for_review by mattam82
December 4, 2023 16:01 30m 59s typed-extraction-correctness
December 4, 2023 16:01 30m 59s
Typed extraction correctness
MetaCoq CI #2559: Pull request #1016 synchronize by mattam82
December 4, 2023 16:01 6s typed-extraction-correctness
December 4, 2023 16:01 6s
Merge pull request #1027 from MetaCoq/primitive-arrays-eval
MetaCoq CI #2557: Commit 943772d pushed by mattam82
December 4, 2023 15:44 30m 28s coq-8.17
December 4, 2023 15:44 30m 28s
Primitive evaluation
MetaCoq CI #2556: Pull request #1027 synchronize by mattam82
December 4, 2023 15:10 30m 27s primitive-arrays-eval
December 4, 2023 15:10 30m 27s
Adapt WcbvEvalNamed to primitives (new values)
MetaCoq CI #2555: Commit 4d6d014 pushed by mattam82
December 4, 2023 15:10 30m 19s primitive-arrays-eval
December 4, 2023 15:10 30m 19s
Primitive evaluation
Nix CI for bundle coq-8.16 #733: Pull request #1026 opened by mattam82
December 4, 2023 14:15 5m 25s
December 4, 2023 14:15 5m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.