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
deepen Comrie 1989 integration: derive SubjectPropertyBundle from ali… CI #283: Commit cdf6399 pushed by hawkrobe
37m 29s main
main
37m 29s
update doc-gen4 pin to v4.29.0, fix CI build (0.229.694) CI #282: Commit 27dba4f pushed by hawkrobe
32m 15s main
main
32m 15s
update doc-gen4 pin to v4.29.0, fix CI build (0.229.694) Build and Deploy Docs #282: Commit 27dba4f pushed by hawkrobe
26m 19s main
main
26m 19s
consolidate verb classification enums into VerbClass.lean, merge Comp… Build and Deploy Docs #281: Commit 0ff9ec5 pushed by hawkrobe
20m 53s main
main
20m 53s
consolidate verb classification enums into VerbClass.lean, merge Comp… CI #281: Commit 0ff9ec5 pushed by hawkrobe
19m 42s main
main
19m 42s
replace asAsSem/kampAtLeastAs with kleinPreorder/kampPreorder, fix Bo… CI #280: Commit 1adb462 pushed by hawkrobe
1m 28s main
main
1m 28s
replace asAsSem/kampAtLeastAs with kleinPreorder/kampPreorder, fix Bo… Build and Deploy Docs #280: Commit 1adb462 pushed by hawkrobe
1m 29s main
main
1m 29s
add mereotopology, Moon 2026 countability, Filip 2012 propagation gap… CI #279: Commit 4a2533a pushed by hawkrobe
5m 10s main
main
5m 10s
add mereotopology, Moon 2026 countability, Filip 2012 propagation gap… Build and Deploy Docs #279: Commit 4a2533a pushed by hawkrobe
5m 14s main
main
5m 14s
move Quantifier.lean from Lexical/Determiner/ to Theories/Semantics/Q… CI #278: Commit 98eadbe pushed by hawkrobe
36m 27s main
main
36m 27s
move Quantifier.lean from Lexical/Determiner/ to Theories/Semantics/Q… Build and Deploy Docs #278: Commit 98eadbe pushed by hawkrobe
35m 34s main
main
35m 34s
interpTy .t Bool → Prop: unify Montague type interpretation with Math… CI #277: Commit ebf8acb pushed by hawkrobe
36m 1s main
main
36m 1s
interpTy .t Bool → Prop: unify Montague type interpretation with Math… Build and Deploy Docs #277: Commit ebf8acb pushed by hawkrobe
4m 16s main
main
4m 16s
add se-marking RSA blog models: 7 variants exploring French anticausa… Build and Deploy Docs #276: Commit ff1ef97 pushed by hawkrobe
37m 50s main
main
37m 50s
add se-marking RSA blog models: 7 variants exploring French anticausa… CI #276: Commit ff1ef97 pushed by hawkrobe
36m 22s main
main
36m 22s
promote probability API to FinitePMF: 7 canonical lemmas, redirect PA… CI #275: Commit 21926af pushed by hawkrobe
37m 55s main
main
37m 55s
promote probability API to FinitePMF: 7 canonical lemmas, redirect PA… Build and Deploy Docs #275: Commit 21926af pushed by hawkrobe
2h 0m 18s main
main
2h 0m 18s
Delete GEMINI.md Build and Deploy Docs #274: Commit dfe49b1 pushed by hawkrobe
1h 18m 39s main
main
1h 18m 39s
Delete GEMINI.md CI #274: Commit dfe49b1 pushed by hawkrobe
1m 37s main
main
1m 37s
logPoint bit-length bracket, rlog∘rexp normalization, Nouwen2024 scal… Build and Deploy Docs #273: Commit eb0487b pushed by hawkrobe
1h 19m 42s main
main
1h 19m 42s
logPoint bit-length bracket, rlog∘rexp normalization, Nouwen2024 scal… CI #273: Commit eb0487b pushed by hawkrobe
16m 9s main
main
16m 9s
Chierchia 2006: deduplicate fragment bridges, fix section headers and… Build and Deploy Docs #272: Commit c7540a2 pushed by hawkrobe
1m 37s main
main
1m 37s
Chierchia 2006: deduplicate fragment bridges, fix section headers and… CI #272: Commit c7540a2 pushed by hawkrobe
1m 31s main
main
1m 31s
G&P 1996 audit: fix z⁺(r₂), Theorem 19, AGM bridge, toleratedBool_iff Build and Deploy Docs #271: Commit 05269cf pushed by hawkrobe
1m 23s main
main
1m 23s
G&P 1996 audit: fix z⁺(r₂), Theorem 19, AGM bridge, toleratedBool_iff CI #271: Commit 05269cf pushed by hawkrobe
1m 24s main
main
1m 24s