Skip to content

Actions: JasonGross/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add .mailmap for git shortlog -nse MetaCoq CI #538: Commit 244db3d pushed by JasonGross
October 15, 2024 06:46 34m 48s coq-8.19+mailmap
coq-8.19+mailmap
October 15, 2024 06:46 34m 48s
Add some debugging suggestions for quotation MetaCoq CI #537: Commit 5d634f1 pushed by JasonGross
December 15, 2023 20:35 31m 39s coq-8.17+quotation-debugging-doc
coq-8.17+quotation-debugging-doc
December 15, 2023 20:35 31m 39s
Revert "Disable quotation module build" MetaCoq CI #536: Commit 3a51898 pushed by JasonGross
December 3, 2023 17:51 30m 21s coq-8.17+restore-quotation
coq-8.17+restore-quotation
December 3, 2023 17:51 30m 21s
Revert "Disable quotation module build" MetaCoq CI #535: Commit 1e0a9a5 pushed by JasonGross
December 3, 2023 17:21 26m 8s coq-8.17+restore-quotation
coq-8.17+restore-quotation
December 3, 2023 17:21 26m 8s
Revert "Disable quotation opam module dependency" MetaCoq CI #534: Commit ec20245 pushed by JasonGross
December 1, 2023 05:36 27m 4s coq-8.17+restore-quotation
coq-8.17+restore-quotation
December 1, 2023 05:36 27m 4s
Revert "Disable quotation opam module dependency" MetaCoq CI #533: Commit cd507f6 pushed by JasonGross
December 1, 2023 05:25 30m 24s coq-8.17+restore-quotation
coq-8.17+restore-quotation
December 1, 2023 05:25 30m 24s
WIP MetaCoq CI #532: Commit 0a84d14 pushed by JasonGross
December 1, 2023 02:37 29m 7s coq-8.17+restore-quotation
coq-8.17+restore-quotation
December 1, 2023 02:37 29m 7s
Restore compatibility with OCaml < 4.13 MetaCoq CI #531: Commit 6450f49 pushed by JasonGross
November 30, 2023 22:18 27m 53s coq-8.17+4.11-compat
coq-8.17+4.11-compat
November 30, 2023 22:18 27m 53s
Add quotation API for context and global_env_ext MetaCoq CI #530: Commit 1217857 pushed by JasonGross
October 18, 2023 02:50 59m 23s coq-8.18+more-quote-api
coq-8.18+more-quote-api
October 18, 2023 02:50 59m 23s
Add quotation API for context and global_env_ext MetaCoq CI #529: Commit 9bbf95b pushed by JasonGross
October 18, 2023 02:49 17m 52s coq-8.16+quotation-typing
coq-8.16+quotation-typing
October 18, 2023 02:49 17m 52s
Drastically speed up ByteCompareSpec MetaCoq CI #528: Commit 00a4299 pushed by JasonGross
September 30, 2023 06:23 1h 11m 14s coq-8.16+bytecomparespec-better
coq-8.16+bytecomparespec-better
September 30, 2023 06:23 1h 11m 14s
Drastically speed up ByteCompareSpec MetaCoq CI #527: Commit 75214dc pushed by JasonGross
September 30, 2023 06:21 1h 12m 27s coq-8.16+bytecomparespec-better
coq-8.16+bytecomparespec-better
September 30, 2023 06:21 1h 12m 27s
Drastically speed up ByteCompareSpec MetaCoq CI #526: Commit 8078f0d pushed by JasonGross
September 30, 2023 06:19 1h 11m 39s coq-8.16+bytecomparespec-better
coq-8.16+bytecomparespec-better
September 30, 2023 06:19 1h 11m 39s
Drastically speed up ByteCompareSpec MetaCoq CI #525: Commit e931533 pushed by JasonGross
September 30, 2023 06:18 17m 0s coq-8.16+quotation-typing
coq-8.16+quotation-typing
September 30, 2023 06:18 17m 0s
WIP MetaCoq CI #524: Commit 601b9dc pushed by JasonGross
September 30, 2023 04:19 17m 41s coq-8.16+quotation-typing
coq-8.16+quotation-typing
September 30, 2023 04:19 17m 41s