Skip to content

Actions: CertiCoq/certicoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #92 from CertiCoq/certicoq-eval-backtracking-fix Compile and bench #342: Commit 657a157 pushed by mattam82
February 9, 2024 11:52 47m 57s master
master
February 9, 2024 11:52 47m 57s
Fix certicoq eval w.r.t. backtracking in Coq Compile and bench #341: Pull request #92 opened by mattam82
February 9, 2024 10:55 48m 48s certicoq-eval-backtracking-fix
certicoq-eval-backtracking-fix
February 9, 2024 10:55 48m 48s
Merge pull request #62 from liyishuai/patch-1 Compile and bench #340: Commit 48e612e pushed by mattam82
February 9, 2024 09:13 47m 47s master
master
February 9, 2024 09:13 47m 47s
Merge pull request #90 from CertiCoq/certicoq-runtime-cleanup Compile and bench #339: Commit 15bdfdc pushed by mattam82
February 8, 2024 13:34 48m 2s master
master
February 8, 2024 13:34 48m 2s
Certicoq runtime / include cleanup Compile and bench #338: Pull request #90 opened by mattam82
February 8, 2024 09:24 49m 9s certicoq-runtime-cleanup
certicoq-runtime-cleanup
February 8, 2024 09:24 49m 9s
Merge pull request #89 from CertiCoq/certicoq-eval Compile and bench #337: Commit a177100 pushed by mattam82
February 8, 2024 06:18 48m 9s master
master
February 8, 2024 06:18 48m 9s
Make the ocamlfind and gcc/clang relative to the current environment … Compile and bench #336: Pull request #89 opened by mattam82
February 7, 2024 18:18 49m 13s certicoq-eval
certicoq-eval
February 7, 2024 18:18 49m 13s
Merge pull request #88 from CertiCoq/certicoq-eval Compile and bench #335: Commit 308df1e pushed by mattam82
February 7, 2024 17:54 48m 53s master
master
February 7, 2024 17:54 48m 53s
Certicoq Eval command and tactic Compile and bench #334: Pull request #88 synchronize by mattam82
February 7, 2024 14:07 47m 54s certicoq-eval
certicoq-eval
February 7, 2024 14:07 47m 54s
Certicoq Eval command and tactic Compile and bench #333: Pull request #88 synchronize by mattam82
February 7, 2024 10:52 38m 38s certicoq-eval
certicoq-eval
February 7, 2024 10:52 38m 38s
Certicoq Eval command and tactic Compile and bench #332: Pull request #88 synchronize by mattam82
February 7, 2024 09:47 37m 14s certicoq-eval
certicoq-eval
February 7, 2024 09:47 37m 14s
Certicoq Eval command and tactic Compile and bench #331: Pull request #88 opened by mattam82
February 6, 2024 11:26 39m 3s certicoq-eval
certicoq-eval
February 6, 2024 11:26 39m 3s
Merge pull request #87 from CertiCoq/fix-deprecations Compile and bench #330: Commit 314c0dc pushed by mattam82
January 29, 2024 06:29 48m 8s master
master
January 29, 2024 06:29 48m 8s
Fix deprecations Compile and bench #329: Pull request #87 opened by mattam82
January 28, 2024 21:46 47m 45s fix-deprecations
fix-deprecations
January 28, 2024 21:46 47m 45s
Merge pull request #85 from CertiCoq/update-metacoq Compile and bench #328: Commit 07610ec pushed by mattam82
January 28, 2024 07:02 48m 24s master
master
January 28, 2024 07:02 48m 24s
OPAM: requires Clang Compile and bench #327: Pull request #62 synchronize by liyishuai
January 12, 2024 18:31 26m 27s liyishuai:patch-1
liyishuai:patch-1
January 12, 2024 18:31 26m 27s
Define anf_trans using anf_state to help typeclass resolution (#86) Compile and bench #325: Commit 7c3fc93 pushed by zoep
January 9, 2024 18:47 22m 59s master
master
January 9, 2024 18:47 22m 59s
Merge pull request #84 from CertiCoq/joom/glue-tag-fix Compile and bench #323: Commit e314582 pushed by joom
December 22, 2023 18:41 23m 34s master
master
December 22, 2023 18:41 23m 34s
Update metacoq Compile and bench #322: Pull request #85 synchronize by mattam82
December 22, 2023 14:53 49m 3s update-metacoq
update-metacoq
December 22, 2023 14:53 49m 3s
Update metacoq Compile and bench #321: Pull request #85 synchronize by mattam82
December 22, 2023 14:28 37m 16s update-metacoq
update-metacoq
December 22, 2023 14:28 37m 16s
Update metacoq Compile and bench #320: Pull request #85 synchronize by mattam82
December 22, 2023 12:59 29m 58s update-metacoq
update-metacoq
December 22, 2023 12:59 29m 58s
Update metacoq Compile and bench #319: Pull request #85 synchronize by mattam82
December 21, 2023 17:21 1m 53s update-metacoq
update-metacoq
December 21, 2023 17:21 1m 53s
Update metacoq Compile and bench #318: Pull request #85 synchronize by mattam82
December 21, 2023 17:17 4m 29s update-metacoq
update-metacoq
December 21, 2023 17:17 4m 29s
Update metacoq Compile and bench #317: Pull request #85 opened by mattam82
December 21, 2023 17:09 4m 36s update-metacoq
update-metacoq
December 21, 2023 17:09 4m 36s
Change the get_*_tag glue function to return the right type of integer Compile and bench #316: Pull request #84 opened by joom
December 14, 2023 15:02 23m 28s joom/glue-tag-fix
joom/glue-tag-fix
December 14, 2023 15:02 23m 28s