Skip to content

Actions: hawkrobe/linglib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
855 workflow runs
855 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
Build and Deploy Docs Build and Deploy Docs #392: Scheduled
42m 20s main
main
42m 20s
refactor(Studies/Faller2019): build on generalized table substrate (#22) CI #463: Commit e79cd1b pushed by hawkrobe
2m 27s main
main
2m 27s
refactor(Studies/Faller2019): build on generalized table substrate CI #462: Pull request #22 opened by hawkrobe
2m 32s studies/faller-reportative-substrate
studies/faller-reportative-substrate
2m 32s
refactor(Core/Scales): hoist Comparison to shared scale primitive (#20) CI #461: Commit 9936e7f pushed by hawkrobe
18m 27s main
main
18m 27s
refactor(Core/Scales): hoist Comparison to shared scale primitive CI #460: Pull request #20 synchronize by hawkrobe
21m 26s refactor/comparison-to-core
refactor/comparison-to-core
21m 26s
refactor(Core/Scales): hoist Comparison to shared scale primitive CI #459: Pull request #20 synchronize by hawkrobe
6m 7s refactor/comparison-to-core
refactor/comparison-to-core
6m 7s
refactor(Studies): disaggregate PIP — relocate to Studies, consume Co… CI #458: Commit 01e7d99 pushed by hawkrobe
2m 6s main
main
2m 6s
refactor(Studies): disaggregate PIP — relocate to Studies, consume Core, Prop-native CI #457: Pull request #21 synchronize by hawkrobe
2m 9s refactor/pip-disaggregate
refactor/pip-disaggregate
2m 9s
refactor(Core/Scales): hoist Comparison to shared scale primitive CI #456: Pull request #20 synchronize by hawkrobe
18m 55s refactor/comparison-to-core
refactor/comparison-to-core
18m 55s
refactor(Studies): disaggregate PIP — relocate to Studies, consume Core, Prop-native CI #455: Pull request #21 synchronize by hawkrobe
2m 12s refactor/pip-disaggregate
refactor/pip-disaggregate
2m 12s
refactor(Studies): disaggregate PIP — relocate to Studies, consume Core, Prop-native CI #454: Pull request #21 synchronize by hawkrobe
39s refactor/pip-disaggregate
refactor/pip-disaggregate
39s
refactor(Studies): disaggregate PIP — relocate to Studies, consume Core, Prop-native CI #453: Pull request #21 opened by hawkrobe
2m 12s refactor/pip-disaggregate
refactor/pip-disaggregate
2m 12s
refactor(Core/Scales): hoist Comparison to shared scale primitive CI #452: Pull request #20 synchronize by hawkrobe
10m 52s refactor/comparison-to-core
refactor/comparison-to-core
10m 52s
refactor(Core/Scales): hoist Comparison to shared scale primitive CI #451: Pull request #20 opened by hawkrobe
1m 38s refactor/comparison-to-core
refactor/comparison-to-core
1m 38s
refactor(Semantics): build Iₚ and PostSupp on mathlib LawfulMonad (#19) CI #450: Commit 0c7d7fa pushed by hawkrobe
4m 31s main
main
4m 31s
refactor(Semantics): build Iₚ and PostSupp on mathlib LawfulMonad CI #449: Pull request #19 synchronize by hawkrobe
3m 13s fix/lawful-monad-instances
fix/lawful-monad-instances
3m 13s
feat(Semantics/Numerals): numeral predication as interval preimage (#18) CI #448: Commit 0f1d4aa pushed by hawkrobe
2m 24s main
main
2m 24s
refactor(Semantics): build Iₚ and PostSupp on mathlib LawfulMonad CI #447: Pull request #19 opened by hawkrobe
3m 1s fix/lawful-monad-instances
fix/lawful-monad-instances
3m 1s
feat(Semantics/Numerals): numeral predication as interval preimage CI #446: Pull request #18 opened by hawkrobe
2m 25s refactor/numeral-interval
refactor/numeral-interval
2m 25s
refactor(Typology/Numeral): split numeral object from WALS survey (#17) CI #445: Commit 56f39e5 pushed by hawkrobe
2m 54s main
main
2m 54s
refactor(Typology/Numeral): split numeral object from WALS survey CI #444: Pull request #17 synchronize by hawkrobe
1m 59s refactor/numeral-object-split
refactor/numeral-object-split
1m 59s
refactor(Typology/Numeral): split numeral object from WALS survey CI #443: Pull request #17 synchronize by hawkrobe
2m 47s refactor/numeral-object-split
refactor/numeral-object-split
2m 47s
refactor(Typology/Numeral): split numeral object from WALS survey CI #442: Pull request #17 opened by hawkrobe
2m 41s refactor/numeral-object-split
refactor/numeral-object-split
2m 41s
refactor(Semantics): drop ProbMonad + redundant Cont laws for mathlib… CI #441: Commit 5c44d0f pushed by hawkrobe
2m 31s main
main
2m 31s
refactor(Semantics): drop ProbMonad + redundant Cont laws for mathlib CI #440: Pull request #16 synchronize by hawkrobe
2m 15s refactor/probmonad-to-mathlib
refactor/probmonad-to-mathlib
2m 15s