Skip to content

Actions: rmichaelthomas/liminate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 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
Merge pull request #59 from rmichaelthomas/fix/phase1-ux-coherence CI #55: Commit c918fa0 pushed by rmichaelthomas
22s main
main
22s
Merge pull request #59 from rmichaelthomas/fix/phase1-ux-coherence CI #54: Commit fe86bb6 pushed by rmichaelthomas
17s main
main
17s
fix: point to the Seshat cluster, add ground-system correction block CI #53: Pull request #59 opened by rmichaelthomas
18s fix/phase1-ux-coherence
fix/phase1-ux-coherence
18s
Merge pull request #58 from rmichaelthomas/docs/retire-liminate-site-… CI #52: Commit c20f15e pushed by rmichaelthomas
22s main
main
22s
Merge pull request #57 from rmichaelthomas/docs/propagate-v28-v31-voc… CI #51: Commit 31caa2d pushed by rmichaelthomas
21s main
main
21s
docs: retire liminate-site and liminate-receipts from the propagation skill CI #50: Pull request #58 opened by rmichaelthomas
3m 32s docs/retire-liminate-site-liminate-receipts
docs/retire-liminate-site-liminate-receipts
3m 32s
docs: propagate v0.16.0 vocabulary wave (unless-on-deontics, Calendar Era, Definitional Era) CI #49: Pull request #57 opened by rmichaelthomas
21s docs/propagate-v28-v31-vocabulary-wave
docs/propagate-v28-v31-vocabulary-wave
21s
Merge pull request #56 from rmichaelthomas/fix/pyproject-keyword-posi… CI #48: Commit b8d5695 pushed by rmichaelthomas
18s main
main
18s
chore: pyproject keyword positioning cleanup CI #47: Pull request #56 opened by rmichaelthomas
21s fix/pyproject-keyword-positioning
fix/pyproject-keyword-positioning
21s
chore: bump version to 0.16.0 (unless, Calendar, Definitional eras + … Release #17: Commit 8f43adb pushed by rmichaelthomas
1m 0s v0.16.0
v0.16.0
1m 0s
chore: bump version to 0.16.0 (unless, Calendar, Definitional eras + … CI #46: Commit 8f43adb pushed by rmichaelthomas
17s main
main
17s
Merge pull request #55 from rmichaelthomas/fix/predicate-contradictio… CI #45: Commit ad95541 pushed by rmichaelthomas
19s main
main
19s
fix: opaque-atom predicate awareness in deontic contradiction detection CI #44: Pull request #55 opened by rmichaelthomas
20s fix/predicate-contradiction-awareness
fix/predicate-contradiction-awareness
20s
Merge pull request #54 from rmichaelthomas/feat/definitional-era CI #43: Commit 4760e75 pushed by rmichaelthomas
21s main
main
21s
feat: Definitional Era — named predicates (define) (v31) CI #42: Pull request #54 opened by rmichaelthomas
24s feat/definitional-era
feat/definitional-era
24s
Merge pull request #53 from rmichaelthomas/feat/calendar-era CI #41: Commit da50fe8 pushed by rmichaelthomas
21s main
main
21s
feat: Calendar Era — date literals, date arithmetic, date comparison, today injection CI #40: Pull request #53 opened by rmichaelthomas
18s feat/calendar-era
feat/calendar-era
18s
Merge pull request #52 from rmichaelthomas/feat/unless-on-deontics CI #39: Commit b02b301 pushed by rmichaelthomas
21s main
main
21s
feat: unless exception clauses on require/forbid/permit/expect CI #38: Pull request #52 opened by rmichaelthomas
16s feat/unless-on-deontics
feat/unless-on-deontics
16s
chore: bump version to 0.15.1 Release #16: Commit d6cc2bd pushed by rmichaelthomas
1m 5s v0.15.1
v0.15.1
1m 5s
chore: bump version to 0.15.1 CI #37: Commit d6cc2bd pushed by rmichaelthomas
20s main
main
20s
Merge pull request #51 from rmichaelthomas/feat/inherited-when-attrib… CI #36: Commit 60a0ba6 pushed by rmichaelthomas
18s main
main
18s
feat: inherited when ... from agent attribution (Invariant prerequisite, v2 §43) CI #35: Pull request #51 opened by rmichaelthomas
20s feat/inherited-when-attribution
feat/inherited-when-attribution
20s
Merge pull request #50 from rmichaelthomas/feat/extrema-and-sum-rename Release #15: Commit 58088b4 pushed by rmichaelthomas
1m 34s v0.15.0
v0.15.0
1m 34s
Merge pull request #50 from rmichaelthomas/feat/extrema-and-sum-rename CI #34: Commit 58088b4 pushed by rmichaelthomas
19s main
main
19s