Skip to content

Actions: CertiCoq/certicoq

Actions

Compile and bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
opam: remove with-test commands Compile and bench #394: Pull request #105 opened by SkySkimmer
December 5, 2024 10:02 Action required SkySkimmer:patch-1
SkySkimmer:patch-1
December 5, 2024 10:02 Action required
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
Use new CI image avoiding opam updates Compile and bench #378: Pull request #97 synchronize by yforster
May 28, 2024 14:46 36m 6s yforster:update-ci
yforster:update-ci
May 28, 2024 14:46 36m 6s
Merge pull request #95 from CertiCoq/coq8.19 Compile and bench #377: Commit 5685b3d pushed by mattam82
May 28, 2024 11:51 1h 16m 36s master
master
May 28, 2024 11:51 1h 16m 36s
Coq 8.19 compatibility Compile and bench #376: Pull request #95 synchronize by andrew-appel
May 24, 2024 10:07 1h 16m 1s coq8.19
coq8.19
May 24, 2024 10:07 1h 16m 1s
Coq 8.19 compatibility Compile and bench #375: Pull request #95 synchronize by andrew-appel
April 1, 2024 18:02 35m 42s coq8.19
coq8.19
April 1, 2024 18:02 35m 42s
Backport 8.19 to 8.18 branch, some ML-side incompatibilities Compile and bench #374: Commit 3f08129 pushed by mattam82
March 28, 2024 09:27 37m 13s coq-8.18
coq-8.18
March 28, 2024 09:27 37m 13s
Update build.yml and opam file for 8.18 Compile and bench #373: Commit 04f6bd4 pushed by mattam82
March 28, 2024 09:26 3m 2s coq-8.18
coq-8.18
March 28, 2024 09:26 3m 2s
Coq 8.19 compatibility Compile and bench #372: Pull request #95 synchronize by mattam82
March 27, 2024 13:49 37m 10s coq8.19
coq8.19
March 27, 2024 13:49 37m 10s
Coq 8.19 compatibility Compile and bench #371: Pull request #95 synchronize by mattam82
March 27, 2024 13:32 36m 9s coq8.19
coq8.19
March 27, 2024 13:32 36m 9s
Coq 8.19 compatibility Compile and bench #370: Pull request #95 synchronize by mattam82
March 26, 2024 22:23 31m 10s coq8.19
coq8.19
March 26, 2024 22:23 31m 10s