Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
723 workflow runs
723 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Primitive evaluation Nix CI for bundle coq-8.16 #735: Pull request #1026 opened by mattam82
December 4, 2023 14:15 14m 54s
December 4, 2023 14:15 14m 54s
Merge pull request #1006 from yannl35133/LSP-support MetaCoq CI #2554: Commit aec0e80 pushed by mattam82
December 4, 2023 14:12 30m 0s coq-8.17
coq-8.17
December 4, 2023 14:12 30m 0s
LSP Support MetaCoq CI #2553: Pull request #1006 synchronize by mattam82
December 4, 2023 14:11 30m 29s Yann-Leray:LSP-support
Yann-Leray:LSP-support
December 4, 2023 14:11 30m 29s
Adapt WcbvEvalNamed to primitives (new values) MetaCoq CI #2552: Commit 38eb068 pushed by mattam82
December 4, 2023 14:05 30m 5s primitive-arrays-eval
primitive-arrays-eval
December 4, 2023 14:05 30m 5s
Merge pull request #1024 from JasonGross/coq-8.17+restore-quotation MetaCoq CI #2551: Commit d6acef9 pushed by JasonGross
December 4, 2023 00:13 30m 27s coq-8.17
coq-8.17
December 4, 2023 00:13 30m 27s
Fix quotation after primitive array support MetaCoq CI #2550: Pull request #1024 synchronize by JasonGross
December 3, 2023 17:51 30m 18s JasonGross:coq-8.17+restore-quotation
JasonGross:coq-8.17+restore-quotation
December 3, 2023 17:51 30m 18s
Fix quotation after primitive array support MetaCoq CI #2549: Pull request #1024 synchronize by JasonGross
December 3, 2023 17:21 26m 24s JasonGross:coq-8.17+restore-quotation
JasonGross:coq-8.17+restore-quotation
December 3, 2023 17:21 26m 24s
Merge pull request #1025 from MetaCoq/squash-typing-precond MetaCoq CI #2548: Commit 27148be pushed by tabareau
December 1, 2023 14:33 27m 48s coq-8.17
coq-8.17
December 1, 2023 14:33 27m 48s
squash typing hypothesis in precond MetaCoq CI #2547: Pull request #1025 opened by tabareau
December 1, 2023 14:00 27m 36s squash-typing-precond
squash-typing-precond
December 1, 2023 14:00 27m 36s
squash typing hypothesis in precond MetaCoq CI #2546: Commit 6c0bcf5 pushed by tabareau
December 1, 2023 13:59 28m 57s squash-typing-precond
squash-typing-precond
December 1, 2023 13:59 28m 57s
Fix quotation after primitive array support MetaCoq CI #2545: Pull request #1024 opened by JasonGross
December 1, 2023 05:36 27m 1s JasonGross:coq-8.17+restore-quotation
JasonGross:coq-8.17+restore-quotation
December 1, 2023 05:36 27m 1s
Restore compatibility with OCaml < 4.13 MetaCoq CI #2544: Pull request #1023 opened by JasonGross
November 30, 2023 22:18 27m 47s JasonGross:coq-8.17+4.11-compat
JasonGross:coq-8.17+4.11-compat
November 30, 2023 22:18 27m 47s
Merge pull request #998 from MetaCoq/primitive-arrays MetaCoq CI #2543: Commit 41123c4 pushed by mattam82
November 30, 2023 17:22 28m 11s coq-8.17
coq-8.17
November 30, 2023 17:22 28m 11s
Adapt evaluation to primitive arrays (up-to PCUICProgress) MetaCoq CI #2542: Commit 567fe39 pushed by mattam82
November 30, 2023 17:22 12m 23s primitive-arrays-eval
primitive-arrays-eval
November 30, 2023 17:22 12m 23s
Support primitive array terms MetaCoq CI #2541: Pull request #998 synchronize by mattam82
November 30, 2023 13:51 28m 2s primitive-arrays
primitive-arrays
November 30, 2023 13:51 28m 2s
Disable the opam quotation package for now MetaCoq CI #2540: Commit 7dd6de8 pushed by mattam82
November 30, 2023 13:51 28m 11s primitive-arrays
primitive-arrays
November 30, 2023 13:51 28m 11s
Support primitive array terms MetaCoq CI #2539: Pull request #998 synchronize by mattam82
November 30, 2023 13:05 29m 53s primitive-arrays
primitive-arrays
November 30, 2023 13:05 29m 53s
Disable quotation opam module dependency MetaCoq CI #2538: Commit 1dd8994 pushed by mattam82
November 30, 2023 13:05 30m 18s primitive-arrays
primitive-arrays
November 30, 2023 13:05 30m 18s
Support primitive array terms MetaCoq CI #2537: Pull request #998 synchronize by mattam82
November 30, 2023 11:07 26m 51s primitive-arrays
primitive-arrays
November 30, 2023 11:07 26m 51s
Fix translations, and a bit of quotation MetaCoq CI #2536: Commit 5d06874 pushed by mattam82
November 30, 2023 11:07 26m 52s primitive-arrays
primitive-arrays
November 30, 2023 11:07 26m 52s
Merge pull request #1015 from SkySkimmer/sort-poly-ind MetaCoq CI #2535: Commit 194116d pushed by ppedrot
November 29, 2023 18:44 4m 1s main
main
November 29, 2023 18:44 4m 1s
Adapt to coq/coq#18331 (mind_kelim -> mind_squashed) MetaCoq CI #2534: Pull request #1015 ready_for_review by ppedrot
November 29, 2023 18:44 4m 11s SkySkimmer:sort-poly-ind
SkySkimmer:sort-poly-ind
November 29, 2023 18:44 4m 11s
Update dependabot.yml to update coq-8.18 MetaCoq CI #2533: Commit 56743e2 pushed by JasonGross
November 28, 2023 19:31 38m 49s coq-8.18
coq-8.18
November 28, 2023 19:31 38m 49s
Update dependabot.yml to update coq-8.18 MetaCoq CI #2532: Commit fb6a4d7 pushed by JasonGross
November 28, 2023 19:30 29m 34s coq-8.17
coq-8.17
November 28, 2023 19:30 29m 34s
Update dependabot.yml to update coq-8.18 Nix CI for bundle coq-8.16 #734: Commit ef846e1 pushed by JasonGross
November 28, 2023 19:29 1h 14m 39s coq-8.16
coq-8.16
November 28, 2023 19:29 1h 14m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.