Skip to content

Actions: hawkrobe/linglib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
558 workflow runs
558 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add PrValue (presupposed values), use for per's eq. 43 Build and Deploy Docs #270: Commit 1c16112 pushed by hawkrobe
1h 38m 55s main
main
1h 38m 55s
Add PrValue (presupposed values), use for per's eq. 43 CI #270: Commit 1c16112 pushed by hawkrobe
22m 30s main
main
22m 30s
Discourse API cleanup, Umbach2004, generic WALS Datapoint (-1500 LOC) CI #269: Commit 0c48bf7 pushed by hawkrobe
27m 8s main
main
27m 8s
Discourse API cleanup, Umbach2004, generic WALS Datapoint (-1500 LOC) Build and Deploy Docs #269: Commit 0c48bf7 pushed by hawkrobe
1h 21m 21s main
main
1h 21m 21s
Bib audit batch 3 + Veltman1996/Divergence/ParamPred additions, cite … Build and Deploy Docs #268: Commit 9817735 pushed by hawkrobe
24m 51s main
main
24m 51s
Bib audit batch 3 + Veltman1996/Divergence/ParamPred additions, cite … CI #268: Commit 9817735 pushed by hawkrobe
24m 42s main
main
24m 42s
Fix lewis-1969/stalnaker-1968/1974/1978: use original venues, not rep… Build and Deploy Docs #267: Commit 04629ff pushed by hawkrobe
1h 35m 27s main
main
1h 35m 27s