Skip to content

Actions: CertiCoq/certicoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq 9.0 Compile and bench #405: Pull request #122 opened by yforster
January 29, 2025 16:17 20m 11s coq-9.0
coq-9.0
January 29, 2025 16:17 20m 11s
Support for Coq 8.20 Compile and bench #404: Pull request #115 synchronize by yforster
January 29, 2025 15:43 35m 30s coq-8.20
coq-8.20
January 29, 2025 15:43 35m 30s
Support for Coq 8.20 Compile and bench #403: Pull request #115 synchronize by yforster
January 28, 2025 15:51 35m 29s coq-8.20
coq-8.20
January 28, 2025 15:51 35m 29s
Support for Coq 8.20 Compile and bench #402: Pull request #115 synchronize by yforster
January 28, 2025 14:40 27m 26s coq-8.20
coq-8.20
January 28, 2025 14:40 27m 26s
Support for Coq 8.20 Compile and bench #401: Pull request #115 opened by yforster
January 28, 2025 11:08 22s coq-8.20
coq-8.20
January 28, 2025 11:08 22s
opam: remove with-test commands Compile and bench #400: Commit 59be195 pushed by yforster
January 27, 2025 15:52 42m 9s master
master
January 27, 2025 15:52 42m 9s
Requires OCaml 4.13 (#106) Compile and bench #399: Commit 90068fd pushed by yforster
January 27, 2025 15:52 41m 8s master
master
January 27, 2025 15:52 41m 8s
Remove old unused code Compile and bench #398: Commit 6e59931 pushed by yforster
January 27, 2025 15:43 42m 10s master
master
January 27, 2025 15:43 42m 10s
Remove dead code Compile and bench #397: Pull request #112 opened by zoep
January 27, 2025 12:13 43m 10s cleanup
cleanup
January 27, 2025 12:13 43m 10s
Update README.md (move some members to "past members") Compile and bench #396: Commit e31583c pushed by andrew-appel
December 31, 2024 19:38 41m 9s master
master
December 31, 2024 19:38 41m 9s
Requires OCaml 4.13 Compile and bench #395: Pull request #106 opened by liyishuai
December 5, 2024 10:14 41m 15s liyishuai:patch-1
liyishuai:patch-1
December 5, 2024 10:14 41m 15s
Merge pull request #101 from CertiCoq/docker-metacoq-1.3.2 Compile and bench #392: Commit 7af861a pushed by mattam82
August 21, 2024 09:11 36m 59s master
master
August 21, 2024 09:11 36m 59s
Update build.yml and .opam file to use released MetaCoq 1.3.2 and cor… Compile and bench #391: Pull request #101 opened by mattam82
August 21, 2024 07:59 36m 56s docker-metacoq-1.3.2
docker-metacoq-1.3.2
August 21, 2024 07:59 36m 56s
Verified reordering cleanup (#100) Compile and bench #390: Commit 7a908bc pushed by mattam82
August 20, 2024 06:53 1h 20m 18s master
master
August 20, 2024 06:53 1h 20m 18s
Verified reordering cleanup Compile and bench #389: Pull request #100 synchronize by mattam82
August 19, 2024 16:19 1h 22m 25s verified-reordering-cleanup
verified-reordering-cleanup
August 19, 2024 16:19 1h 22m 25s
Verified reordering cleanup Compile and bench #388: Pull request #100 opened by mattam82
August 19, 2024 14:41 1h 12m 19s verified-reordering-cleanup
verified-reordering-cleanup
August 19, 2024 14:41 1h 12m 19s
Merge pull request #99 from CertiCoq/fix-primint63 Compile and bench #387: Commit c02f36f pushed by mattam82
August 19, 2024 14:38 1h 20m 18s master
master
August 19, 2024 14:38 1h 20m 18s
Fixes in prim_int63.c Compile and bench #386: Pull request #99 synchronize by mattam82
August 19, 2024 11:22 1h 23m 5s fix-primint63
fix-primint63
August 19, 2024 11:22 1h 23m 5s
Fixes in prim_int63.c Compile and bench #385: Pull request #99 opened by mattam82
July 12, 2024 10:38 1h 19m 26s fix-primint63
fix-primint63
July 12, 2024 10:38 1h 19m 26s
Implement and verify the naive translation of lazy/force to thunks (#98) Compile and bench #384: Commit f0e1554 pushed by mattam82
June 12, 2024 11:56 1h 20m 45s master
master
June 12, 2024 11:56 1h 20m 45s
Implement and verify the naive translation of lazy/force to thunks Compile and bench #383: Pull request #98 synchronize by mattam82
June 11, 2024 12:36 1h 22m 25s naive-cofix-translation
naive-cofix-translation
June 11, 2024 12:36 1h 22m 25s
Implement and verify the naive translation of lazy/force to thunks Compile and bench #382: Pull request #98 synchronize by mattam82
June 10, 2024 13:08 1h 14m 17s naive-cofix-translation
naive-cofix-translation
June 10, 2024 13:08 1h 14m 17s
Implement and verify the naive translation of lazy/force to thunks Compile and bench #381: Pull request #98 synchronize by mattam82
June 10, 2024 12:53 15m 25s naive-cofix-translation
naive-cofix-translation
June 10, 2024 12:53 15m 25s
Implement and verify the naive translation of lazy/force to thunks Compile and bench #380: Pull request #98 synchronize by mattam82
June 10, 2024 11:13 46m 37s naive-cofix-translation
naive-cofix-translation
June 10, 2024 11:13 46m 37s
Implement and verify the naive translation of lazy/force to thunks Compile and bench #379: Pull request #98 opened by mattam82
June 10, 2024 09:33 46m 40s naive-cofix-translation
naive-cofix-translation
June 10, 2024 09:33 46m 40s