Skip to content

Actions: hawkrobe/linglib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
324 workflow runs
324 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
Delete .CHANGELOG.md.lock CI #324: Commit 9aac975 pushed by hawkrobe
1m 40s main
main
1m 40s
0.230.808 — fix 5 CI failures from 0.230.804 by completing pending su… CI #323: Commit 90cefb2 pushed by hawkrobe
45m 20s main
main
45m 20s
0.230.804 — comment out 5 orphan blog imports (detector clean) CI #322: Commit 229c034 pushed by hawkrobe
44m 13s main
main
44m 13s
0.230.798 — A&P 2021 GenHM substrate schema-fix + Bool→Prop migration… CI #321: Commit 1af651f pushed by hawkrobe
2m 14s main
main
2m 14s
0.230.588 — scripts/changelog_add.py for race-safe CHANGELOG appends … CI #320: Commit c7b734e pushed by hawkrobe
1m 37s main
main
1m 37s
0.230.587 — CHANGELOG entry for 0.230.586 (lost in concurrent-edit ra… CI #319: Commit 33408ba pushed by hawkrobe
6m 2s main
main
6m 2s
0.230.585 — Heim2001.lean mathlib-quality rewrite: sSup_iInter_Iic_eq… CI #318: Commit e68c0bf pushed by hawkrobe
6m 37s main
main
6m 37s
0.230.571 — bulk WIP commit (Unreleased section in CHANGELOG): supero… CI #317: Commit 09f70e9 pushed by hawkrobe
20m 30s main
main
20m 30s
0.230.539 — Bretagnolle–Huber sorry discharged: two_hellingerDistSq_l… CI #316: Commit 42bb143 pushed by hawkrobe
9m 17s main
main
9m 17s
0.230.538 — ChannelCapacity gibbs_inequality deleted, entropy_le_log_… CI #315: Commit 3c2bc9d pushed by hawkrobe
9m 22s main
main
9m 22s
0.230.536-537 — RSA/Divergence.lean dissolved into Core/InformationTh… CI #314: Commit 077078e pushed by hawkrobe
10m 7s main
main
10m 7s
0.230.530-535 — multi-session batch: Phenomena/X/Typology.lean dissol… CI #313: Commit 0bfd7c0 pushed by hawkrobe
19m 11s main
main
19m 11s
Update README.md CI #312: Commit a1b24d5 pushed by hawkrobe
18m 56s main
main
18m 56s
0.230.507 — Yagi 2025 audit + Bool→Prop substrate migration. Two roun… CI #311: Commit f327f63 pushed by hawkrobe
20m 35s main
main
20m 35s
0.230.449 — Minimalism→Minimalist directory + namespace rename (3 dir… CI #310: Commit 7f1d67a pushed by hawkrobe
32m 35s main
main
32m 35s
Bulk parallel-session in-flight work + V2Profile/InformationStructure… CI #309: Commit c73f343 pushed by hawkrobe
19m 30s main
main
19m 30s
Parallel-session Olivier 2026 formalization: Phenomena/AuxiliaryVerbs… CI #308: Commit 29b1e55 pushed by hawkrobe
39m 3s main
main
39m 3s
Parallel-session work: BondarenkoElliott2026 expansion (positive_shar… CI #307: Commit 627f490 pushed by hawkrobe
36m 24s main
main
36m 24s
D-H complete: V2 substrate promoted to canonical, legacy CausalDynami… CI #306: Commit 5798cac pushed by hawkrobe
1m 37s main
main
1m 37s
Simplify README by removing directory redundancy CI #305: Commit a7fe155 pushed by hawkrobe
1m 34s main
main
1m 34s
Update README.md CI #304: Commit 4f3f44d pushed by hawkrobe
1m 37s main
main
1m 37s
Core/Partition.lean dissolution: 4 per-purpose Question/Partition/ mo… CI #303: Commit ab83125 pushed by hawkrobe
27m 56s main
main
27m 56s
CI: parallelize docs build with xargs -P 4; revert :docs facet (casca… CI #302: Commit 97ec249 pushed by hawkrobe
40m 3s main
main
40m 3s
Inheritance/ mathlib-PR cleanup quick wins (0.230.57): pop Prototype … CI #301: Commit 43f7c26 pushed by hawkrobe
41m 45s main
main
41m 45s
Hudson2010: complete Bool→Prop migration on consumer side; add IsAOrd… CI #300: Commit 5b15b21 pushed by hawkrobe
41m 33s main
main
41m 33s