Skip to content

Actions: hawkrobe/linglib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
640 workflow runs
640 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
Parallel-session Olivier 2026 formalization: Phenomena/AuxiliaryVerbs… Build and Deploy Docs #308: Commit 29b1e55 pushed by hawkrobe
1h 16m 23s main
main
1h 16m 23s
Parallel-session work: BondarenkoElliott2026 expansion (positive_shar… Build and Deploy Docs #307: Commit 627f490 pushed by hawkrobe
37m 18s main
main
37m 18s
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… Build and Deploy Docs #306: Commit 5798cac pushed by hawkrobe
1m 29s main
main
1m 29s
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 Build and Deploy Docs #305: Commit a7fe155 pushed by hawkrobe
38m 20s main
main
38m 20s
Simplify README by removing directory redundancy CI #305: Commit a7fe155 pushed by hawkrobe
1m 34s main
main
1m 34s
Update README.md Build and Deploy Docs #304: Commit 4f3f44d pushed by hawkrobe
2m 4s main
main
2m 4s
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
Core/Partition.lean dissolution: 4 per-purpose Question/Partition/ mo… Build and Deploy Docs #303: Commit ab83125 pushed by hawkrobe
1h 7m 6s main
main
1h 7m 6s
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
CI: parallelize docs build with xargs -P 4; revert :docs facet (casca… Build and Deploy Docs #302: Commit 97ec249 pushed by hawkrobe
1h 18m 22s main
main
1h 18m 22s
Inheritance/ mathlib-PR cleanup quick wins (0.230.57): pop Prototype … Build and Deploy Docs #301: Commit 43f7c26 pushed by hawkrobe
2h 1m 11s main
main
2h 1m 11s
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
Hudson2010: complete Bool→Prop migration on consumer side; add IsAOrd… Build and Deploy Docs #300: Commit 5b15b21 pushed by hawkrobe
20m 44s main
main
20m 44s
Core/Issue/Partition.lean: bridge Core.Issue → mathlib Setoid.IsParti… CI #299: Commit 6e7ed20 pushed by hawkrobe
30m 20s main
main
30m 20s
Core/Issue/Partition.lean: bridge Core.Issue → mathlib Setoid.IsParti… Build and Deploy Docs #299: Commit 6e7ed20 pushed by hawkrobe
37m 52s main
main
37m 52s
phenomena studies: rename remaining 12 path-mirror namespaces to bare… CI #298: Commit d448919 pushed by hawkrobe
1m 41s main
main
1m 41s
phenomena studies: rename remaining 12 path-mirror namespaces to bare… Build and Deploy Docs #298: Commit d448919 pushed by hawkrobe
1m 47s main
main
1m 47s
namespace consistency: align outliers with directory siblings (DTS, R… CI #297: Commit 5a70864 pushed by hawkrobe
31m 15s main
main
31m 15s
namespace consistency: align outliers with directory siblings (DTS, R… Build and Deploy Docs #297: Commit 5a70864 pushed by hawkrobe
31m 51s main
main
31m 51s
namespace migration: drop banned Theories./Linglib. prefixes; open-be… CI #296: Commit cbfda8c pushed by hawkrobe
26m 49s main
main
26m 49s
namespace migration: drop banned Theories./Linglib. prefixes; open-be… Build and Deploy Docs #296: Commit cbfda8c pushed by hawkrobe
30m 52s main
main
30m 52s