Skip to content

Actions: CoqHott/logrel-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Replace term reducibility in the logical relation by the diagonal of reducible term conversion LogRel CI #540: Pull request #63 opened by kyoDralliam
December 18, 2024 17:13 6m 43s onlytermrel
onlytermrel
December 18, 2024 17:13 6m 43s
change of order of compilation LogRel CI #539: Commit e8e2191 pushed by Baillon-M
December 11, 2024 12:43 2m 40s DigammaTTPshfConditions
DigammaTTPshfConditions
December 11, 2024 12:43 2m 40s
Split, Monotonicity, Reduction and Application go through LogRel CI #538: Commit ea77fea pushed by Baillon-M
December 3, 2024 17:30 2m 42s DigammaTTPshfConditions
DigammaTTPshfConditions
December 3, 2024 17:30 2m 42s
Monotonicity of the logical relation with respect to forcing conditions LogRel CI #537: Commit aab9cdc pushed by Baillon-M
November 21, 2024 15:41 2m 36s DigammaTTPshfConditions
DigammaTTPshfConditions
November 21, 2024 15:41 2m 36s
Add isLRFun and isLRSig LogRel CI #536: Commit 3e24459 pushed by Baillon-M
November 13, 2024 12:40 2m 38s DigammaTTPshfConditions
DigammaTTPshfConditions
November 13, 2024 12:40 2m 38s
Through to Irrelevance LogRel CI #535: Commit 5e99bb2 pushed by Baillon-M
November 5, 2024 17:50 2m 30s DigammaTTPshfConditions
DigammaTTPshfConditions
November 5, 2024 17:50 2m 30s
LogicalRelation.v, without strict positivity issues LogRel CI #534: Commit 4317a29 pushed by Baillon-M
October 30, 2024 11:00 2m 31s DigammaTTPshfConditions
DigammaTTPshfConditions
October 30, 2024 11:00 2m 31s