Skip to content

Actions: hawkrobe/linglib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
382 workflow runs
382 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Voice system profiles for Mam, Kaqchikel, Chuj, Finnish, English (0.2… Build and Deploy Docs #191: Commit be24628 pushed by hawkrobe
56m 58s main
main
56m 58s
Voice system profiles for Mam, Kaqchikel, Chuj, Finnish, English (0.2… CI #191: Commit be24628 pushed by hawkrobe
6m 12s main
main
6m 12s
Theory-neutral voice system interface, Toba Batak profile, interface … CI #190: Commit 9ec5af2 pushed by hawkrobe
6m 57s main
main
6m 57s
Theory-neutral voice system interface, Toba Batak profile, interface … Build and Deploy Docs #190: Commit 9ec5af2 pushed by hawkrobe
1m 53s main
main
1m 53s
Fin 4 all-positive merge infrastructure, isolate split_and_verify sor… CI #189: Commit 5571762 pushed by hawkrobe
3m 16s main
main
3m 16s
Fin 4 all-positive merge infrastructure, isolate split_and_verify sor… Build and Deploy Docs #189: Commit 5571762 pushed by hawkrobe
57m 21s main
main
57m 21s
Fix foxAns entailment target: q⊆p not q⊆Exh(p) per Fox Def 35 (0.226.94) CI #188: Commit a964953 pushed by hawkrobe
3m 17s main
main
3m 17s
Fix foxAns entailment target: q⊆p not q⊆Exh(p) per Fox Def 35 (0.226.94) Build and Deploy Docs #188: Commit a964953 pushed by hawkrobe
18m 4s main
main
18m 4s
Portfolio interchange proved, Fin 4 cancellation via null reduction (… Build and Deploy Docs #187: Commit d31edca pushed by hawkrobe
54m 19s main
main
54m 19s
Portfolio interchange proved, Fin 4 cancellation via null reduction (… CI #187: Commit d31edca pushed by hawkrobe
3m 14s main
main
3m 14s
Split EpistemicScale/Defs.lean, add Scott cancellation framework (0.2… Build and Deploy Docs #186: Commit 68a7648 pushed by hawkrobe
22m 22s main
main
22m 22s
Split EpistemicScale/Defs.lean, add Scott cancellation framework (0.2… CI #186: Commit 68a7648 pushed by hawkrobe
4m 17s main
main
4m 17s
Feature geometry audit: remove Manner, [nasal] to root, [lat]/[strid]… CI #185: Commit c2817e4 pushed by hawkrobe
29m 0s main
main
29m 0s
Feature geometry audit: remove Manner, [nasal] to root, [lat]/[strid]… Build and Deploy Docs #185: Commit c2817e4 pushed by hawkrobe
1h 23m 45s main
main
1h 23m 45s
Coon 2019 Chuj phenomena data + bridge, bibliography update (0.226.53) Build and Deploy Docs #184: Commit 44e5fe9 pushed by hawkrobe
1m 52s main
main
1m 52s
Coon 2019 Chuj phenomena data + bridge, bibliography update (0.226.53) CI #184: Commit 44e5fe9 pushed by hawkrobe
1m 51s main
main
1m 51s
bridge files, verb movement, irony expansion, subcategorization, Tens… CI #183: Commit d2523ff pushed by hawkrobe
15m 35s main
main
15m 35s
bridge files, verb movement, irony expansion, subcategorization, Tens… Build and Deploy Docs #183: Commit d2523ff pushed by hawkrobe
1h 0m 57s main
main
1h 0m 57s
(RSA)² irony: Spinoso-Di Piano et al. 2025, 6 verified predictions CI #182: Commit 084252e pushed by hawkrobe
14m 54s main
main
14m 54s
(RSA)² irony: Spinoso-Di Piano et al. 2025, 6 verified predictions Build and Deploy Docs #182: Commit 084252e pushed by hawkrobe
14m 38s main
main
14m 38s
remove all maxHeartbeats from RSA consumer files, migrate Metaphor+Hy… CI #181: Commit bd9c420 pushed by hawkrobe
14m 3s main
main
14m 3s
remove all maxHeartbeats from RSA consumer files, migrate Metaphor+Hy… Build and Deploy Docs #181: Commit bd9c420 pushed by hawkrobe
14m 33s main
main
14m 33s
rename blog from LEANguistics to lingliblog CI #180: Commit 0d59225 pushed by hawkrobe
29m 58s main
main
29m 58s
rename blog from LEANguistics to lingliblog Build and Deploy Docs #180: Commit 0d59225 pushed by hawkrobe
27m 27s main
main
27m 27s
expMulLogSub RExpr constructor, eval coarsening, batched native_decid… Build and Deploy Docs #179: Commit 41579bd pushed by hawkrobe
27m 13s main
main
27m 13s