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

WIP adapting to an additional mapping argument for transforms and str… MetaCoq CI #2806: Commit 9ecc7b5 pushed by mattam82
July 18, 2024 16:11 27m 48s reorder-proof
reorder-proof
July 18, 2024 16:11 27m 48s
Proof that reordering of constructors is correct MetaCoq CI #2805: Pull request #1095 opened by mattam82
July 17, 2024 09:46 26m 59s reorder-proof
reorder-proof
July 17, 2024 09:46 26m 59s
Reordering preserves well-formedness MetaCoq CI #2804: Commit 4a2c169 pushed by mattam82
July 17, 2024 09:43 27m 7s reorder-proof
reorder-proof
July 17, 2024 09:43 27m 7s
Adapt to https://github.com/coq/coq/pull/19310 MetaCoq CI #2802: Pull request #1093 opened by proux01
July 14, 2024 08:58 2m 22s proux01:coq_19310
proux01:coq_19310
July 14, 2024 08:58 2m 22s
Update opam file dependencies for 8.20 version MetaCoq CI #2801: Commit 13a6852 pushed by mattam82
July 9, 2024 12:50 1m 57s coq-8.20
coq-8.20
July 9, 2024 12:50 1m 57s
Merge pull request #1092 from MetaCoq/clean-_project_files MetaCoq CI #2800: Commit 52fda99 pushed by mattam82
July 9, 2024 11:57 30m 56s main
main
July 9, 2024 11:57 30m 56s
Remove generated files from archive and ignore them now MetaCoq CI #2799: Pull request #1092 synchronize by mattam82
July 9, 2024 11:13 31m 4s clean-_project_files
clean-_project_files
July 9, 2024 11:13 31m 4s
Fix translations due to new tString constructor MetaCoq CI #2798: Commit 9cdb37b pushed by mattam82
July 9, 2024 11:13 43m 52s clean-_project_files
clean-_project_files
July 9, 2024 11:13 43m 52s
Remove generated files from archive and ignore them now MetaCoq CI #2797: Pull request #1092 synchronize by mattam82
July 8, 2024 08:47 26m 36s clean-_project_files
clean-_project_files
July 8, 2024 08:47 26m 36s
Fix translations due to new tString constructor MetaCoq CI #2796: Commit 8338f05 pushed by mattam82
July 8, 2024 08:47 26m 40s clean-_project_files
clean-_project_files
July 8, 2024 08:47 26m 40s
Remove generated files from archive and ignore them now MetaCoq CI #2795: Pull request #1092 opened by mattam82
July 8, 2024 08:21 13m 26s clean-_project_files
clean-_project_files
July 8, 2024 08:21 13m 26s
Remove generated files from archive and ignore them now MetaCoq CI #2794: Commit ec45ca3 pushed by mattam82
July 8, 2024 08:21 13m 24s clean-_project_files
clean-_project_files
July 8, 2024 08:21 13m 24s
Remove unneeded problematic universe constraints MetaCoq CI #2793: Commit fa4b728 pushed by yannl35133
July 1, 2024 14:30 35m 41s coq-8.18
coq-8.18
July 1, 2024 14:30 35m 41s
Merge pull request #1088 from rlepigre/br/prim-string MetaCoq CI #2792: Commit b4d67e4 pushed by tabareau
June 14, 2024 21:06 13m 37s main
main
June 14, 2024 21:06 13m 37s
Merge pull request #1081 from mrhaandi/faster-PCUICSR MetaCoq CI #2791: Commit b9739c1 pushed by mattam82
June 12, 2024 12:35 32m 31s main
main
June 12, 2024 12:35 32m 31s
Merge pull request #1079 from silene/remove-vm MetaCoq CI #2790: Commit 7f820b6 pushed by mattam82
June 12, 2024 12:34 32m 22s main
main
June 12, 2024 12:34 32m 22s
Adapt to coq/coq#18973. MetaCoq CI #2789: Pull request #1088 synchronize by rlepigre
June 12, 2024 09:57 2m 35s rlepigre:br/prim-string
rlepigre:br/prim-string
June 12, 2024 09:57 2m 35s
Adapt to coq/coq#18973. MetaCoq CI #2786: Pull request #1088 synchronize by rlepigre
June 7, 2024 11:40 2m 42s rlepigre:br/prim-string
rlepigre:br/prim-string
June 7, 2024 11:40 2m 42s
Merge pull request #1089 from MetaCoq/force-lazy-evaluation MetaCoq CI #2783: Commit 13dc7ce pushed by mattam82
June 7, 2024 09:38 48m 19s coq-8.19
coq-8.19
June 7, 2024 09:38 48m 19s
Add the force (lazy t) evaluation rule to LambdaBox MetaCoq CI #2782: Pull request #1089 opened by mattam82
June 6, 2024 20:14 47m 48s force-lazy-evaluation
force-lazy-evaluation
June 6, 2024 20:14 47m 48s
Add the force (lazy t) evaluation rule to lambda-box MetaCoq CI #2781: Commit a4cd12c pushed by mattam82
June 6, 2024 20:12 48m 1s force-lazy-evaluation
force-lazy-evaluation
June 6, 2024 20:12 48m 1s
Adapt to coq/coq#18973. MetaCoq CI #2773: Pull request #1088 opened by rlepigre
June 4, 2024 14:36 2m 41s rlepigre:br/prim-string
rlepigre:br/prim-string
June 4, 2024 14:36 2m 41s
Merge pull request #1083 from herbelin/main+adapt-coq-pr18795-more-un… MetaCoq CI #2772: Commit 35dbb48 pushed by ppedrot
May 28, 2024 15:41 2m 21s main
main
May 28, 2024 15:41 2m 21s
Correcting the definition of noccur_between in Template – main branch MetaCoq CI #2771: Pull request #1087 opened by MevenBertrand
May 23, 2024 15:07 35m 22s MevenBertrand:correct-noccur-main
MevenBertrand:correct-noccur-main
May 23, 2024 15:07 35m 22s
Make scripts more robust when using simp and solving the goal trivially. MetaCoq CI #2770: Commit d6e0f45 pushed by mattam82
May 23, 2024 10:09 35m 38s main
main
May 23, 2024 10:09 35m 38s