Skip to content

Actions: Mtac2/Mtac2

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
95 workflow runs
95 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Adapt to coq/coq#18938 (EConstr.ERelevance) Backport #98: Pull request #402 closed by Janno
April 24, 2024 00:02 1d 4h 57m 42s SkySkimmer:erelevance
SkySkimmer:erelevance
April 24, 2024 00:02 1d 4h 57m 42s
Merge pull request #402 from SkySkimmer/erelevance CI #304: Commit caa52a1 pushed by Janno
April 24, 2024 00:02 2m 59s master
master
April 24, 2024 00:02 2m 59s
Remove version constraint for coq-unicoq CI #303: Commit ac4fd30 pushed by Janno
April 22, 2024 16:33 3m 7s master-8.19
master-8.19
April 22, 2024 16:33 3m 7s
Be less specific about the OCaml version for CI. CI #302: Commit 0faaeef pushed by Janno
April 22, 2024 16:29 1m 49s master-8.19
master-8.19
April 22, 2024 16:29 1m 49s
Update CI and opam files for Coq 8.19. CI #301: Commit 5c09632 pushed by Janno
April 22, 2024 16:25 18s master-8.19
master-8.19
April 22, 2024 16:25 18s
Adapt to coq/coq#18938 (EConstr.ERelevance) CI #300: Pull request #402 opened by SkySkimmer
April 17, 2024 11:56 2m 12s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 11:56 2m 12s
Merge pull request #401 from SkySkimmer/program-ref-by-tactic CI #299: Commit 16b5923 pushed by Janno
April 11, 2024 16:38 2m 3s master
master
April 11, 2024 16:38 2m 3s
Adapt to coq/coq#18881 (refine_by_tactic returns econstr) Backport #97: Pull request #401 closed by Janno
April 11, 2024 16:37 1d 12h 22m 10s SkySkimmer:program-ref-by-tactic
SkySkimmer:program-ref-by-tactic
April 11, 2024 16:37 1d 12h 22m 10s
Adapt to coq/coq#18881 (refine_by_tactic returns econstr) CI #298: Pull request #401 opened by SkySkimmer
April 4, 2024 14:04 2m 12s SkySkimmer:program-ref-by-tactic
SkySkimmer:program-ref-by-tactic
April 4, 2024 14:04 2m 12s
Merge pull request #399 from SkySkimmer/vernac-focus CI #297: Commit 919348a pushed by Janno
March 26, 2024 15:17 3m 2s master
master
March 26, 2024 15:17 3m 2s
Adapt to coq/coq#18707 (proof mode needs to cooperate with subprf grammar) Backport #96: Pull request #399 closed by Janno
March 26, 2024 15:17 1d 18h 29m 52s SkySkimmer:vernac-focus
SkySkimmer:vernac-focus
March 26, 2024 15:17 1d 18h 29m 52s
Adapt to coq/coq#18707 (proof mode needs to cooperate with subprf grammar) CI #296: Pull request #399 opened by SkySkimmer
March 14, 2024 14:29 2m 18s SkySkimmer:vernac-focus
SkySkimmer:vernac-focus
March 14, 2024 14:29 2m 18s
Adapt to coq/coq#18038 (rewrite rules) Backport #95: Pull request #398 closed by Janno
February 22, 2024 18:02 20d 20h 28m 38s Yann-Leray:rewrite-rules
Yann-Leray:rewrite-rules
February 22, 2024 18:02 20d 20h 28m 38s
Merge pull request #398 from Yann-Leray/rewrite-rules CI #295: Commit 757cbd1 pushed by Janno
February 22, 2024 18:02 3m 2s master
master
February 22, 2024 18:02 3m 2s
Adapt to coq/coq#18038 (rewrite rules) CI #294: Pull request #398 opened by yannl35133
February 5, 2024 14:12 2m 59s Yann-Leray:rewrite-rules
Yann-Leray:rewrite-rules
February 5, 2024 14:12 2m 59s
Merge pull request #397 from rlepigre/br/fix-18281 CI #293: Commit 9b7c71f pushed by Janno
January 24, 2024 10:28 2m 50s master
master
January 24, 2024 10:28 2m 50s
Adapt to coq/coq#18327 (projection opacity) Backport #94: Pull request #397 closed by Janno
January 24, 2024 10:28 1d 18h 31m 34s rlepigre:br/fix-18281
rlepigre:br/fix-18281
January 24, 2024 10:28 1d 18h 31m 34s
Adapt to coq/coq#18327 (projection opacity) CI #292: Pull request #397 reopened by Janno
January 24, 2024 10:25 2m 48s rlepigre:br/fix-18281
rlepigre:br/fix-18281
January 24, 2024 10:25 2m 48s
Adapt to coq/coq#18327 (projection opacity) Backport #93: Pull request #397 closed by Janno
January 24, 2024 10:25 1d 18h 34m 43s rlepigre:br/fix-18281
rlepigre:br/fix-18281
January 24, 2024 10:25 1d 18h 34m 43s
Adapt to coq/coq#18327 (projection opacity) CI #291: Pull request #397 opened by rlepigre
December 14, 2023 14:33 1m 59s rlepigre:br/fix-18281
rlepigre:br/fix-18281
December 14, 2023 14:33 1m 59s
Merge pull request #395 from herbelin/master+adapt-coq-pr18253-no-pol… CI #290: Commit 71640c3 pushed by Janno
November 25, 2023 16:12 2m 46s master
master
November 25, 2023 16:12 2m 46s
Adapt to Coq PR #18253: poly flag is spurious on add_coercion_hook Backport #92: Pull request #395 closed by Janno
November 25, 2023 16:12 1d 12h 47m 10s herbelin:master+adapt-coq-pr18253-no-poly-for-coercion
herbelin:master+adapt-coq-pr18253-no-poly-for-coercion
November 25, 2023 16:12 1d 12h 47m 10s
Adapt to Coq PR #18253: poly flag is spurious on add_coercion_hook CI #289: Pull request #395 synchronize by herbelin
November 25, 2023 15:35 2m 58s herbelin:master+adapt-coq-pr18253-no-poly-for-coercion
herbelin:master+adapt-coq-pr18253-no-poly-for-coercion
November 25, 2023 15:35 2m 58s
Merge pull request #396 from SkySkimmer/ci-relevance CI #288: Commit c1bdb1c pushed by Janno
November 13, 2023 15:01 1m 44s master
master
November 13, 2023 15:01 1m 44s
Adapt to coq/coq#18280 (case relevance outside case info) Backport #91: Pull request #396 closed by Janno
November 13, 2023 15:01 1d 13h 58m 35s SkySkimmer:ci-relevance
SkySkimmer:ci-relevance
November 13, 2023 15:01 1d 13h 58m 35s