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

Actions: CoqHott/logrel-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactoring LogRel CI #596: Pull request #72 opened by MevenBertrand
May 7, 2025 12:20 7m 54s refactoring
refactoring
May 7, 2025 12:20 7m 54s
LogRel CI LogRel CI #595: Manually run by MevenBertrand
May 6, 2025 15:27 7m 40s coq-8.20
coq-8.20
May 6, 2025 15:27 7m 40s
Cleaning LogRel CI #594: Commit 7cca5a8 pushed by Baillon-M
April 23, 2025 14:41 12s DigammaTTCantor
DigammaTTCantor
April 23, 2025 14:41 12s
Cleaning LogRel CI #593: Commit 7cca5a8 pushed by Baillon-M
April 23, 2025 14:40 9s DigammaTTPshfConditions
DigammaTTPshfConditions
April 23, 2025 14:40 9s
A model with f : nat -> nat. Fundamental Lemma is proven. LogRel CI #592: Commit 6e479dc pushed by Baillon-M
April 23, 2025 14:37 11s DigammaTTBaire
DigammaTTBaire
April 23, 2025 14:37 11s
A model with f : nat -> nat. Fundamental Lemma is proven. LogRel CI #591: Commit 6e479dc pushed by Baillon-M
April 23, 2025 14:35 9s DigammTTBaire
DigammTTBaire
April 23, 2025 14:35 9s
Documentation LogRel CI #590: Pull request #71 synchronize by MevenBertrand
April 22, 2025 07:18 6m 26s documentation
documentation
April 22, 2025 07:18 6m 26s
Documentation LogRel CI #589: Pull request #71 synchronize by MevenBertrand
April 17, 2025 17:43 6m 17s documentation
documentation
April 17, 2025 17:43 6m 17s
Documentation LogRel CI #588: Pull request #71 opened by MevenBertrand
April 17, 2025 17:32 6m 18s documentation
documentation
April 17, 2025 17:32 6m 18s
LogRel CI LogRel CI #587: Manually run by MevenBertrand
April 17, 2025 09:25 6m 43s coq-8.20
coq-8.20
April 17, 2025 09:25 6m 43s
Fundamental Lemma! LogRel CI #586: Commit 219d683 pushed by Baillon-M
April 16, 2025 13:24 9s DigammaTTPshfConditions
DigammaTTPshfConditions
April 16, 2025 13:24 9s
Remove redundant file LogRel CI #585: Commit 4120f81 pushed by Baillon-M
April 14, 2025 13:50 12s DigammaTTPshfConditions
DigammaTTPshfConditions
April 14, 2025 13:50 12s
Sigma types and pairs are valid LogRel CI #584: Commit 2aa3194 pushed by Baillon-M
April 9, 2025 11:10 11s DigammaTTPshfConditions
DigammaTTPshfConditions
April 9, 2025 11:10 11s
Empty.v goes through LogRel CI #583: Commit 7215f6b pushed by Baillon-M
April 7, 2025 09:53 8s DigammaTTPshfConditions
DigammaTTPshfConditions
April 7, 2025 09:53 8s
Change in CoqProject LogRel CI #582: Commit 36a3b6b pushed by Baillon-M
April 2, 2025 12:24 8s DigammaTTPshfConditions
DigammaTTPshfConditions
April 2, 2025 12:24 8s
Validity of booleans LogRel CI #581: Commit a6f9faa pushed by Baillon-M
April 2, 2025 12:23 11s DigammaTTPshfConditions
DigammaTTPshfConditions
April 2, 2025 12:23 11s
remove todo : False LogRel CI #580: Commit de4c02e pushed by Baillon-M
March 26, 2025 13:14 11s DigammaTTPshfConditions
DigammaTTPshfConditions
March 26, 2025 13:14 11s
Nat goes through LogRel CI #579: Commit d52b4e4 pushed by Baillon-M
March 24, 2025 23:10 11s DigammaTTPshfConditions
DigammaTTPshfConditions
March 24, 2025 23:10 11s
Var goes through LogRel CI #578: Commit 08cd825 pushed by Baillon-M
March 24, 2025 11:26 10s DigammaTTPshfConditions
DigammaTTPshfConditions
March 24, 2025 11:26 10s
Lambda.v goes through LogRel CI #577: Commit 8ab99d8 pushed by Baillon-M
March 18, 2025 23:20 11s DigammaTTPshfConditions
DigammaTTPshfConditions
March 18, 2025 23:20 11s
More untyped algorithmic conversion LogRel CI #576: Pull request #70 opened by MevenBertrand
March 12, 2025 15:45 8m 30s untyped-algo
untyped-algo
March 12, 2025 15:45 8m 30s
Through up to half of Lambda LogRel CI #575: Commit 115ba00 pushed by Baillon-M
March 12, 2025 13:10 10s DigammaTTPshfConditions
DigammaTTPshfConditions
March 12, 2025 13:10 10s
Through to Pi-types LogRel CI #574: Commit c5c02af pushed by Baillon-M
March 10, 2025 15:28 11s DigammaTTPshfConditions
DigammaTTPshfConditions
March 10, 2025 15:28 11s
Binary reducibility/validity relation LogRel CI #573: Pull request #69 synchronize by kyoDralliam
March 9, 2025 09:52 4m 51s rmredtyeq
rmredtyeq
March 9, 2025 09:52 4m 51s
LogRel CI LogRel CI #572: Manually run by kyoDralliam
March 5, 2025 18:44 4m 54s rasimpl
rasimpl
March 5, 2025 18:44 4m 54s
0