8000 Workflow runs · Mtac2/Mtac2 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: Mtac2/Mtac2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#19690 (proof mode needs a genarg for tactics inlined in commands) Backport #104: Pull request #406 closed by Janno
April 3, 2025 16:22 1d 0h 0m 2s SkySkimmer:ltacX-obligations
SkySkimmer:ltacX-obligations
April 3, 2025 16:22 1d 0h 0m 2s
Merge pull request #406 from SkySkimmer/ltacX-obligations CI #319: Commit bcbefa7 pushed by Janno
April 3, 2025 16:22 2m 14s master
master
April 3, 2025 16:22 2m 14s
Adapt w.r.t. coq/coq#20278. Backport #103: Pull request #409 closed by Janno
February 28, 2025 14:08 17d 4h 51m 20s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
February 28, 2025 14:08 17d 4h 51m 20s
Merge pull request #409 from ppedrot/rm-tc-evd-hook CI #318: Commit abb8c14 pushed by Janno
February 28, 2025 14:08 3m 3s master
master
February 28, 2025 14:08 3m 3s
Adapt w.r.t. coq/coq#20278. CI #317: Pull request #409 opened by ppedrot
February 21, 2025 18:56 2m 52s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
February 21, 2025 18:56 2m 52s
Adapt w.r.t. coq/coq#19931. Backport #102: Pull request #408 closed by Janno
December 19, 2024 12:30 1d 19h 0m 55s ppedrot:ring-clean-cclosure-internals
ppedrot:ring-clean-cclosure-internals
December 19, 2024 12:30 1d 19h 0m 55s
Merge pull request #408 from ppedrot/ring-clean-cclosure-internals CI #316: Commit 1cdb2cb pushed by Janno
December 19, 2024 12:30 3m 25s master
master
December 19, 2024 12:30 3m 25s
Adapt w.r.t. coq/coq#19931. CI #315: Pull request #408 opened by ppedrot
December 19, 2024 09:59 2m 11s ppedrot:ring-clean-cclosure-internals
ppedrot:ring-clean-cclosure-internals
December 19, 2024 09:59 2m 11s
Be less specific about the OCaml version for CI. CI #314: Commit 5b372d0 pushed by Janno
November 22, 2024 14:26 2m 51s master-8.20
master-8.20
November 22, 2024 14:26 2m 51s
Be less specific about the OCaml version for CI. CI #313: Commit d887bad pushed by Janno
November 22, 2024 14:20 2m 3s master-8.20
master-8.20
November 22, 2024 14:20 2m 3s
Adapt to coq/coq#19690 (proof mode needs a genarg for tactics inlined in commands) CI #312: Pull request #406 opened by SkySkimmer
October 15, 2024 10:04 2m 26s SkySkimmer:ltacX-obligations
SkySkimmer:ltacX-obligations
October 15, 2024 10:04 2m 26s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) Backport #101: Pull request #405 closed by Janno
October 14, 2024 09:31 1d 2h 22m 25s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 14, 2024 09:31 1d 2h 22m 25s
Merge pull request #405 from SkySkimmer/push-context-strict CI #311: Commit 3a17ff3 pushed by Janno
October 14, 2024 09:31 2m 21s master
master
October 14, 2024 09:31 2m 21s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI #310: Pull request #405 opened by SkySkimmer
October 1, 2024 14:04 2m 20s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 1, 2024 14:04 2m 20s
use new way of loading ML module, makes Unicoq module declaration superfluous Backport #100: Pull request #404 closed by Janno
September 11, 2024 12:57 10d 1h 37m 28s palmskog:remove-unicoq-module
palmskog:remove-unicoq-module
September 11, 2024 12:57 10d 1h 37m 28s
Merge pull request #404 from palmskog/remove-unicoq-module CI #309: Commit d07a983 pushed by Janno
September 11, 2024 12:57 3m 17s master
master
September 11, 2024 12:57 3m 17s
use new way of loading ML module, makes Unicoq module declaration superfluous CI #308: Pull request #404 opened by palmskog
September 11, 2024 09:23 3m 24s palmskog:remove-unicoq-module
palmskog:remove-unicoq-module
September 11, 2024 09:23 3m 24s
Remove negative test that is getting fixed in Coq Backport #99: Pull request #403 closed by Janno
July 1, 2024 18:44 2d 21h 49m 4s Janno:master
Janno:master
July 1, 2024 18:44 2d 21h 49m 4s
Merge pull request #403 from Janno/master CI #307: Commit 5d33136 pushed by Janno
July 1, 2024 18:44 2m 55s master
master
July 1, 2024 18:44 2m 55s
Remove negative test that is getting fixed in Coq CI #306: Pull request #403 synchronize by Janno
July 1, 2024 15:31 2m 59s Janno:master
Janno:master
July 1, 2024 15:31 2m 59s
Remove negative test that is getting fixed in Coq CI #305: Pull request #403 opened by Janno
July 1, 2024 14:52 2m 12s Janno:master
Janno:master
July 1, 2024 14:52 2m 12s
0