Skip to content

Actions: CoqHott/logrel-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependency clean-ups LogRel CI #565: Pull request #67 synchronize by MevenBertrand
February 11, 2025 22:54 5m 1s dependency-cleanup
dependency-cleanup
February 11, 2025 22:54 5m 1s
Update action artifact LogRel CI #564: Pull request #68 synchronize by MevenBertrand
February 11, 2025 22:52 5m 6s update-action-artifact
update-action-artifact
February 11, 2025 22:52 5m 6s
Update action artifact LogRel CI #563: Pull request #68 synchronize by MevenBertrand
February 11, 2025 22:52 14s update-action-artifact
update-action-artifact
February 11, 2025 22:52 14s
Update action artifact LogRel CI #562: Pull request #68 synchronize by MevenBertrand
February 11, 2025 22:50 11s update-action-artifact
update-action-artifact
February 11, 2025 22:50 11s
Update action artifact LogRel CI #561: Pull request #68 synchronize by MevenBertrand
February 11, 2025 22:49 13s update-action-artifact
update-action-artifact
February 11, 2025 22:49 13s
Update action artifact LogRel CI #560: Pull request #68 opened by MevenBertrand
February 11, 2025 22:44 10s update-action-artifact
update-action-artifact
February 11, 2025 22:44 10s
Dependency clean-ups LogRel CI #559: Pull request #67 opened by MevenBertrand
February 11, 2025 22:39 12s dependency-cleanup
dependency-cleanup
February 11, 2025 22:39 12s
Definition of Validity LogRel CI #558: Commit 064110a pushed by Baillon-M
January 29, 2025 13:40 2m 59s DigammaTTPshfConditions
DigammaTTPshfConditions
January 29, 2025 13:40 2m 59s
Move proofs of reducibility to theories/LogicalRelation/Introductions. LogRel CI #557: Pull request #66 synchronize by ppedrot
January 28, 2025 21:14 5m 21s ppedrot:move-logrel-intro
ppedrot:move-logrel-intro
January 28, 2025 21:14 5m 21s
Move proofs of reducibility to theories/LogicalRelation/Introductions. LogRel CI #556: Pull request #66 synchronize by ppedrot
January 28, 2025 21:00 5m 15s ppedrot:move-logrel-intro
ppedrot:move-logrel-intro
January 28, 2025 21:00 5m 15s
Move proofs of reducibility to theories/LogicalRelation/Introductions. LogRel CI #555: Pull request #66 synchronize by ppedrot
January 28, 2025 20:40 5m 16s ppedrot:move-logrel-intro
ppedrot:move-logrel-intro
January 28, 2025 20:40 5m 16s
Move proofs of reducibility to theories/LogicalRelation/Introductions. LogRel CI #554: Pull request #66 opened by ppedrot
January 28, 2025 20:37 5m 29s ppedrot:move-logrel-intro
ppedrot:move-logrel-intro
January 28, 2025 20:37 5m 29s
Adding support for untyped conversion-checking LogRel CI #553: Pull request #64 synchronize by MevenBertrand
January 28, 2025 16:15 5m 11s untyped-algo
untyped-algo
January 28, 2025 16:15 5m 11s
Adding support for untyped conversion-checking LogRel CI #552: Pull request #64 synchronize by MevenBertrand
January 28, 2025 12:16 7m 28s untyped-algo
untyped-algo
January 28, 2025 12:16 7m 28s
Adding support for untyped conversion-checking LogRel CI #551: Pull request #64 synchronize by MevenBertrand
January 27, 2025 18:52 8m 28s untyped-algo
untyped-algo
January 27, 2025 18:52 8m 28s
Adding support for untyped conversion-checking LogRel CI #550: Pull request #64 ready_for_review by MevenBertrand
January 27, 2025 15:51 7m 58s untyped-algo
untyped-algo
January 27, 2025 15:51 7m 58s
Adding support for untyped conversion-checking LogRel CI #549: Pull request #64 synchronize by MevenBertrand
January 27, 2025 15:47 8m 1s untyped-algo
untyped-algo
January 27, 2025 15:47 8m 1s
Adding support for untyped conversion-checking LogRel CI #548: Pull request #64 synchronize by MevenBertrand
January 27, 2025 15:46 7m 50s untyped-algo
untyped-algo
January 27, 2025 15:46 7m 50s
Adding support for untyped conversion-checking LogRel CI #547: Pull request #64 synchronize by MevenBertrand
January 27, 2025 15:46 8m 16s untyped-algo
untyped-algo
January 27, 2025 15:46 8m 16s
Through to Id.v LogRel CI #546: Commit 395094b pushed by Baillon-M
January 22, 2025 12:23 2m 59s DigammaTTPshfConditions
DigammaTTPshfConditions
January 22, 2025 12:23 2m 59s
Add a Dtree for extensionality of codomain for Pis and Sigmas, and ex… LogRel CI #545: Commit 4fe006f pushed by Baillon-M
January 21, 2025 18:34 3m 6s DigammaTTPshfConditions
DigammaTTPshfConditions
January 21, 2025 18:34 3m 6s
Adding support for untyped conversion-checking LogRel CI #544: Pull request #64 synchronize by MevenBertrand
January 21, 2025 14:20 9m 19s untyped-algo
untyped-algo
January 21, 2025 14:20 9m 19s
Adding support for untyped conversion-checking LogRel CI #543: Pull request #64 synchronize by MevenBertrand
January 21, 2025 12:47 8m 9s untyped-algo
untyped-algo
January 21, 2025 12:47 8m 9s
Adding support for untyped conversion-checking LogRel CI #542: Pull request #64 synchronize by MevenBertrand
January 21, 2025 12:10 8m 10s untyped-algo
untyped-algo
January 21, 2025 12:10 8m 10s
Adding support for untyped conversion-checking LogRel CI #541: Pull request #64 opened by MevenBertrand
January 10, 2025 19:47 8m 40s untyped-algo
untyped-algo
January 10, 2025 19:47 8m 40s