Skip to content

Actions: hawkrobe/linglib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
777 workflow runs
777 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
feat(Semantics/Dynamic/PLA): bridge GQRel to Core.Quantification CI #388: Commit 3ac1488 pushed by hawkrobe
7m 43s main
main
7m 43s
feat(Semantics/Dynamic/PLA): bridge GQRel to Core.Quantification Build and Deploy Docs #389: Commit 3ac1488 pushed by hawkrobe
7m 41s main
main
7m 41s
feat(Quantification/ChoiceFunction): bridge to some_sem with framew… Build and Deploy Docs #388: Commit 1044aa8 pushed by hawkrobe
7m 26s main
main
7m 26s
feat(Quantification/ChoiceFunction): bridge to some_sem with framew… CI #387: Commit 1044aa8 pushed by hawkrobe
7m 46s main
main
7m 46s
chore: drop stale imports for deleted modules in Linglib.lean Build and Deploy Docs #387: Commit c4e95e6 pushed by hawkrobe
7m 51s main
main
7m 51s
chore: drop stale imports for deleted modules in Linglib.lean CI #386: Commit c4e95e6 pushed by hawkrobe
6m 50s main
main
6m 50s
feat(Studies/Hintikka1962): Moore-paradox doxastic indefensibility CI #385: Commit 665c212 pushed by hawkrobe
2m 5s main
main
2m 5s
feat(Studies/Hintikka1962): Moore-paradox doxastic indefensibility Build and Deploy Docs #386: Commit 665c212 pushed by hawkrobe
46m 59s main
main
46m 59s
chore(Discourse): strip § numbering + convert banner comments CI #384: Commit 26be775 pushed by hawkrobe
5m 11s main
main
5m 11s
chore(Discourse): strip § numbering + convert banner comments Build and Deploy Docs #385: Commit 26be775 pushed by hawkrobe
6m 41s main
main
6m 41s
chore(Discourse/Commitment): trim Basic module docstring Build and Deploy Docs #384: Commit 240bd8b pushed by hawkrobe
9m 42s main
main
9m 42s
chore(Discourse/Commitment): trim Basic module docstring CI #383: Commit 240bd8b pushed by hawkrobe
4m 43s main
main
4m 43s
chore(Discourse): finish decl-docstring trim sweep Build and Deploy Docs #383: Commit 52839aa pushed by hawkrobe
32m 16s main
main
32m 16s
chore(Discourse): finish decl-docstring trim sweep CI #382: Commit 52839aa pushed by hawkrobe
2m 33s main
main
2m 33s
chore(Discourse): trim decl docstrings across substrate Build and Deploy Docs #382: Commit 66d262f pushed by hawkrobe
11m 15s main
main
11m 15s
chore(Discourse): trim decl docstrings across substrate CI #381: Commit 66d262f pushed by hawkrobe
6m 27s main
main
6m 27s
chore(Discourse): aggressive docstring trim across substrate CI #380: Commit 7600c3e pushed by hawkrobe
4m 49s main
main
4m 49s
chore(Discourse): aggressive docstring trim across substrate Build and Deploy Docs #381: Commit 7600c3e pushed by hawkrobe
11m 3s main
main
11m 3s
refactor(Discourse): rename SDRT/ → Rhetorical/ CI #379: Commit c8ca3b2 pushed by hawkrobe
2m 13s main
main
2m 13s
refactor(Discourse): rename SDRT/ → Rhetorical/ Build and Deploy Docs #380: Commit c8ca3b2 pushed by hawkrobe
10m 30s main
main
10m 30s
refactor(Discourse): promote Move, lift Assertable, add Felicity Build and Deploy Docs #379: Commit 6357f3a pushed by hawkrobe
2m 0s main
main
2m 0s
refactor(Discourse): promote Move, lift Assertable, add Felicity CI #378: Commit 6357f3a pushed by hawkrobe
2m 28s main
main
2m 28s
refactor(Discourse): aggressive dissolution — inline + delete 4 files Build and Deploy Docs #378: Commit a4a74f1 pushed by hawkrobe
19m 30s main
main
19m 30s
refactor(Discourse): aggressive dissolution — inline + delete 4 files CI #377: Commit a4a74f1 pushed by hawkrobe
2m 7s main
main
2m 7s
chore(Discourse): drop dead surface across substrate CI #376: Commit 2076526 pushed by hawkrobe
5m 21s main
main
5m 21s