Skip to content

Actions: hawkrobe/linglib

Actions

Build and Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
392 workflow runs
392 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
Build and Deploy Docs Build and Deploy Docs #392: Scheduled
42m 20s main
main
42m 20s
Merge pull request #3 from hawkrobe/ci/concurrency-timeout Build and Deploy Docs #391: Commit 49fab6b pushed by hawkrobe
54m 56s main
main
54m 56s
Merge pull request #1 from hawkrobe/refactor/sot-tense-substrate Build and Deploy Docs #390: Commit 0ee61e5 pushed by hawkrobe
22m 47s main
main
22m 47s
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
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
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 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): finish decl-docstring trim sweep Build and Deploy Docs #383: Commit 52839aa pushed by hawkrobe
32m 16s main
main
32m 16s
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): 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/ 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): aggressive dissolution — inline + delete 4 files Build and Deploy Docs #378: Commit a4a74f1 pushed by hawkrobe
19m 30s main
main
19m 30s
chore(Discourse): drop dead surface across substrate Build and Deploy Docs #377: Commit 2076526 pushed by hawkrobe
8m 5s main
main
8m 5s
refactor(Discourse/Commitment): collapse to Basic/Table/Frame family Build and Deploy Docs #376: Commit acd227d pushed by hawkrobe
46m 3s main
main
46m 3s
chore: bump lean-toolchain to v4.30.0 Build and Deploy Docs #375: Commit 1e70c0a pushed by hawkrobe
9m 24s main
main
9m 24s
chore(Linglib): drop orphan import to inlined StrictCV Build and Deploy Docs #374: Commit ac4a90d pushed by hawkrobe
46m 44s main
main
46m 44s
chore: fix build after mathlib bump (zero_le implicit arg + field_simp) Build and Deploy Docs #373: Commit 4c1dc46 pushed by hawkrobe
1h 34m 27s main
main
1h 34m 27s
chore(Core): delete unused Core/Salience/Defs.lean Build and Deploy Docs #372: Commit 9a74294 pushed by hawkrobe
44m 4s main
main
44m 4s
chore(Linglib): drop bare import for stale Linglib.Semantics.Mood Build and Deploy Docs #371: Commit 5f905fe pushed by hawkrobe
3m 58s main
main
3m 58s
refactor(Core/Semantics): dissolve into Semantics/ and Discourse/ Build and Deploy Docs #370: Commit a90179e pushed by hawkrobe
1h 19m 39s main
main
1h 19m 39s
docs(Studies): rewrite README + clean gen_examples.py post-migration Build and Deploy Docs #369: Commit 6a2f7a9 pushed by hawkrobe
1h 4m 39s main
main
1h 4m 39s
refactor(Studies): flatten Quantification + SyntacticAmbiguity Build and Deploy Docs #368: Commit 7bddd19 pushed by hawkrobe
4m 17s main
main
4m 17s