Skip to content

Actions: leanprover/con-leche

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Task #328: PERF.md and perf-data re-measured on v4.35.0-rc3 Nat-op pin matrix #12: Commit 67f0463 pushed by nomeata
5m 13s master
master
5m 13s
Task #328: PERF.md and perf-data re-measured on v4.35.0-rc3 CI #87: Commit 67f0463 pushed by nomeata
15m 23s master
master
15m 23s
Task #328: PERF.md and perf-data re-measured on v4.35.0-rc3 Bridge (lean4lean-model) #7: Commit 67f0463 pushed by nomeata
2m 9s master
master
2m 9s
Task #328: PERF.md and perf-data re-measured on v4.35.0-rc3 whitepaper #3: Commit 67f0463 pushed by nomeata
1m 1s master
master
1m 1s
Nat-op pin matrix Nat-op pin matrix #11: Scheduled
1m 48s master
master
1m 48s
Whitepaper NOTES: the monotonicity-from-accessibility items marked do… whitepaper #2: Commit 7efab41 pushed by nomeata
54s master
master
54s
Whitepaper NOTES: the monotonicity-from-accessibility items marked do… CI #86: Commit 7efab41 pushed by nomeata
6m 24s master
master
6m 24s
Task #325: _probe/ and docs/ removed from the tree CI #85: Commit c65d5cf pushed by nomeata
4m 13s master
master
4m 13s
Whitepaper: citations repointed after merging origin/master whitepaper #1: Commit 1f7d813 pushed by nomeata
51s master
master
51s
Whitepaper: citations repointed after merging origin/master CI #84: Commit 1f7d813 pushed by nomeata
3m 49s master
master
3m 49s
Scripts: do not capture output in a variable named out CI #83: Commit d0bbad6 pushed by nomeata
13m 36s master
master
13m 36s
Help text: the installer generates the recursors; the stream's rule b… CI #82: Commit a31e829 pushed by nomeata
12m 21s master
master
12m 21s
ANDPIN: pin And again — the fold rejects any other And, the prelude s… Nat-op pin matrix #10: Commit 10fe085 pushed by nomeata
2m 40s master
master
2m 40s
ANDPIN: pin And again — the fold rejects any other And, the prelude s… CI #81: Commit 10fe085 pushed by nomeata
13m 10s master
master
13m 10s
CI CI #80: by nomeata
21m 23s agent/uniform-le
agent/uniform-le
21m 23s
CI CI #79: by nomeata
15m 48s classcheck
classcheck
15m 48s
COMPLETE-6: after merging nested (K.53′'s ctorNfs push in nestCtors),… CI #78: Commit e7f50cd pushed by nomeata
18m 58s agent/uinds-COMPLETE3
agent/uinds-COMPLETE3
18m 58s
PRIMREC/NESTKN: import hygiene — shake removals + public demotions CI #77: Commit b93093d pushed by nomeata
17m 8s primrec
primrec
17m 8s
CI CI #76: by nomeata
21m 19s agent/uniform-collide
agent/uniform-collide
21m 19s
CI CI #75: by nomeata
23m 34s probe/uinds-COMPLETE2
probe/uinds-COMPLETE2
23m 34s
CI CI #74: by nomeata
15m 54s agent/uinds-GENREC-H
agent/uinds-GENREC-H
15m 54s
Nat-op pin matrix Nat-op pin matrix #9: by nomeata
4m 14s pins-param
pins-param
4m 14s
CI CI #73: by nomeata
13m 12s pins-param
pins-param
13m 12s
CI CI #72: by nomeata
15m 34s probe/uinds-R23
probe/uinds-R23
15m 34s
CI CI #71: by nomeata
19m 14s agent/nested-279m
agent/nested-279m
19m 14s