Skip to content

Actions: mattam82/Coq-Equations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#18546. CI #550: Pull request #582 synchronize by rlepigre
April 2, 2024 08:51 12m 27s rlepigre:br/evaluable_refactoring
rlepigre:br/evaluable_refactoring
April 2, 2024 08:51 12m 27s
Adapt to coq/coq#18864 (search_guard can handle evars) CI #549: Pull request #587 opened by SkySkimmer
April 1, 2024 10:18 4m 14s SkySkimmer:check-guard-evars
SkySkimmer:check-guard-evars
April 1, 2024 10:18 4m 14s
Merge pull request #586 from SkySkimmer/indirect CI #548: Commit 962c005 pushed by ppedrot
March 22, 2024 13:38 4m 13s main
main
March 22, 2024 13:38 4m 13s
Don't pierce Qed in debug message (adapt to coq/coq#18422) CI #547: Pull request #586 opened by SkySkimmer
March 22, 2024 13:05 4m 27s SkySkimmer:indirect
SkySkimmer:indirect
March 22, 2024 13:05 4m 27s
Merge pull request #578 from proux01/coq_18224 CI #546: Commit e43c620 pushed by ppedrot
March 14, 2024 16:05 4m 30s main
main
March 14, 2024 16:05 4m 30s
Adapt to Coq PR #18743: search_guard is now able to decide late if a recursive definition is a fix or a cofix CI #545: Pull request #584 opened by herbelin
March 7, 2024 10:21 4m 13s herbelin:main+adapt+coq-pr18743-more-flexible-theorem-with
herbelin:main+adapt+coq-pr18743-more-flexible-theorem-with
March 7, 2024 10:21 4m 13s
Adapt to coq/coq#18546. CI #544: Pull request #582 opened by rlepigre
February 6, 2024 10:09 4m 8s rlepigre:br/evaluable_refactoring
rlepigre:br/evaluable_refactoring
February 6, 2024 10:09 4m 8s
Adapt to https://github.com/coq/coq/pull/18224 CI #543: Pull request #578 synchronize by proux01
February 4, 2024 14:36 4m 7s proux01:coq_18224
proux01:coq_18224
February 4, 2024 14:36 4m 7s
Merge pull request #581 from SkySkimmer/temrops-use-evd CI #542: Commit 7296932 pushed by ppedrot
February 4, 2024 11:12 3m 57s main
main
February 4, 2024 11:12 3m 57s
Adapt to coq/coq#18603 (print_rel_context takes evar map) CI #541: Pull request #581 opened by SkySkimmer
February 2, 2024 12:34 3m 59s SkySkimmer:temrops-use-evd
SkySkimmer:temrops-use-evd
February 2, 2024 12:34 3m 59s
Merge pull request #574 from rlepigre/br/fix-18281 CI #540: Commit 9c346fc pushed by ppedrot
January 24, 2024 07:58 4m 6s main
main
January 24, 2024 07:58 4m 6s
Merge pull request #579 from ppedrot/fix-nf-evars CI #539: Commit e80a8e6 pushed by ppedrot
January 23, 2024 19:34 4m 3s main
main
January 23, 2024 19:34 4m 3s
Remove a useless evar normalization in Equations.define_by_eqs. CI #538: Pull request #579 opened by ppedrot
January 23, 2024 16:48 4m 12s ppedrot:fix-nf-evars
ppedrot:fix-nf-evars
January 23, 2024 16:48 4m 12s
Equations 1.3 for Coq 8.19 CI #537: Release v1.3-8.19 created by mattam82
January 9, 2024 16:23 4m 20s
January 9, 2024 16:23 4m 20s
Adapt to https://github.com/coq/coq/pull/18224 CI #536: Pull request #578 opened by proux01
January 9, 2024 10:10 4m 17s proux01:coq_18224
proux01:coq_18224
January 9, 2024 10:10 4m 17s
Adapt to coq/coq#18327 (projection opacity) CI #533: Pull request #574 synchronize by rlepigre
December 14, 2023 15:53 4m 20s rlepigre:br/fix-18281
rlepigre:br/fix-18281
December 14, 2023 15:53 4m 20s
Adapt to coq/coq#18327 (projection opacity) CI #532: Pull request #574 opened by rlepigre
December 14, 2023 15:50 4m 13s rlepigre:br/fix-18281
rlepigre:br/fix-18281
December 14, 2023 15:50 4m 13s
Adapt to coq/coq#18327 (projection opacity) CI #531: Pull request #573 synchronize by rlepigre
December 14, 2023 15:40 4m 11s rlepigre:br/coq-overlay-18327
rlepigre:br/coq-overlay-18327
December 14, 2023 15:40 4m 11s
Adapt to coq/coq#18327 (projection opacity) CI #530: Pull request #573 opened by rlepigre
December 14, 2023 14:12 4m 12s rlepigre:br/coq-overlay-18327
rlepigre:br/coq-overlay-18327
December 14, 2023 14:12 4m 12s