Skip to content

Actions: leanprover/con-leche

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
87 workflow runs
87 workflow runs

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 CI #87: Commit 67f0463 pushed by nomeata
15m 23s master
master
15m 23s
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 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… 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
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
CI CI #70: by nomeata
18m 34s inductives
inductives
18m 34s
CI CI #69: by nomeata
16m 4s agent/direct-nested
agent/direct-nested
16m 4s
CI CI #68: by nomeata
25m 44s probe/uinds-ACCESS
probe/uinds-ACCESS
25m 44s
Merge branch 'uniform-inds': one uniform installer for all inductive … CI #67: Commit 445b9cf pushed by nomeata
10m 52s master
master
10m 52s
Task #323: a stuck projection keeps its structure argument (KEEPPROJ … CI #66: Commit 3ca9e2f pushed by nomeata
6m 37s master
master
6m 37s
Nested modeller: lift index arguments past the extra binders (the csl… CI #65: Commit 1e567fc pushed by nomeata
3m 8s master
master
3m 8s
Task #322: the per-argument substitution loops — a measured no (spike… CI #64: Commit ae0c0c4 pushed by nomeata
3m 55s master
master
3m 55s
The mutual rung takes reflexive members: the self-check accepts again CI #63: Commit 78ded4b pushed by nomeata
4m 38s master
master
4m 38s