Skip to content

Actions: hawkrobe/linglib

Actions

Build and Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
341 workflow runs
341 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
feat(Core/Algebra/RootedTree): close autCard sorry; lift A3.3 via Q5c… Build and Deploy Docs #341: Commit f63f1bb pushed by hawkrobe
19m 18s main
main
19m 18s
fix(Linglib): resolve orphan imports flagged by pre-push hook Build and Deploy Docs #340: Commit c704c36 pushed by hawkrobe
18m 9s main
main
18m 9s
feat(RootedTree/DeletionNonplanar): strip-inverts-embed scaffolding Build and Deploy Docs #339: Commit c106b28 pushed by hawkrobe
5m 6s main
main
5m 6s
feat(RootedTree/DeletionNonplanar): close stripTraceQuotient_planarEquiv Build and Deploy Docs #338: Commit dbab829 pushed by hawkrobe
5m 25s main
main
5m 25s
feat(RootedTree/InsertionLieDuality): close convBracket_mem (Sweedler) Build and Deploy Docs #337: Commit 17608bb pushed by hawkrobe
5m 39s main
main
5m 39s
feat(RootedTree/FormSet): substrate + MCB Def 1.16.1 FS^(k) operator Build and Deploy Docs #336: Commit a1ead05 pushed by hawkrobe
5m 16s main
main
5m 16s
feat(RootedTree/InsertionLieDuality): stage convBracket_mem through R… Build and Deploy Docs #335: Commit ad67af1 pushed by hawkrobe
5m 22s main
main
5m 22s
feat(RootedTree/InsertionLieDuality): extract Coalgebra.Repr.mul helper Build and Deploy Docs #334: Commit 2f2c306 pushed by hawkrobe
5m 34s main
main
5m 34s
feat(RootedTree/InsertionLieDuality): close deltaSingleton_isDualPrim… Build and Deploy Docs #333: Commit e4e5dc4 pushed by hawkrobe
6m 3s main
main
6m 3s
docs(RootedTree/InsertionLieDuality): clarify deltaSingleton_isDualPr… Build and Deploy Docs #332: Commit 85f47a3 pushed by hawkrobe
4m 51s main
main
4m 51s
feat(RootedTree/InsertionLieDuality): substrate for MCB Lemma 1.7.3 Build and Deploy Docs #331: Commit 1c70885 pushed by hawkrobe
5m 16s main
main
5m 16s
feat(Coproduct/DeletionNonplanar): Δ^d via trace-strip projection fro… Build and Deploy Docs #330: Commit f6304e7 pushed by hawkrobe
4m 37s main
main
4m 37s
Compare cluster: delete Compare.lean (string-descriptor anti-pattern)… Build and Deploy Docs #329: Commit 0d5f719 pushed by hawkrobe
51m 23s main
main
51m 23s
Add Pancheva2003.lean Studies file with PDF-verified examples; move b… Build and Deploy Docs #328: Commit 577ea0b pushed by hawkrobe
10m 44s main
main
10m 44s
add CondoravdiLauer2016, Posterior+ThresholdOperator; cap VonFintelIa… Build and Deploy Docs #327: Commit 4d8794b pushed by hawkrobe
40m 49s main
main
40m 49s
Build and Deploy Docs Build and Deploy Docs #326: Manually run by hawkrobe
5m 26s main
main
5m 26s
drop dangling import of deleted Variation.lean (0.231.123) Build and Deploy Docs #325: Commit d529e94 pushed by hawkrobe
1h 33m 19s main
main
1h 33m 19s
Delete .CHANGELOG.md.lock Build and Deploy Docs #324: Commit 9aac975 pushed by hawkrobe
43m 28s main
main
43m 28s
0.230.808 — fix 5 CI failures from 0.230.804 by completing pending su… Build and Deploy Docs #323: Commit 90cefb2 pushed by hawkrobe
1h 23m 15s main
main
1h 23m 15s
0.230.804 — comment out 5 orphan blog imports (detector clean) Build and Deploy Docs #322: Commit 229c034 pushed by hawkrobe
41m 39s main
main
41m 39s
0.230.798 — A&P 2021 GenHM substrate schema-fix + Bool→Prop migration… Build and Deploy Docs #321: Commit 1af651f pushed by hawkrobe
2m 14s main
main
2m 14s
0.230.588 — scripts/changelog_add.py for race-safe CHANGELOG appends … Build and Deploy Docs #320: Commit c7b734e pushed by hawkrobe
49m 10s main
main
49m 10s
0.230.587 — CHANGELOG entry for 0.230.586 (lost in concurrent-edit ra… Build and Deploy Docs #319: Commit 33408ba pushed by hawkrobe
7m 23s main
main
7m 23s
0.230.585 — Heim2001.lean mathlib-quality rewrite: sSup_iInter_Iic_eq… Build and Deploy Docs #318: Commit e68c0bf pushed by hawkrobe
5m 5s main
main
5m 5s
0.230.571 — bulk WIP commit (Unreleased section in CHANGELOG): supero… Build and Deploy Docs #317: Commit 09f70e9 pushed by hawkrobe
58m 37s main
main
58m 37s