Skip to content

Actions: jhhuh/deontic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
feat: add JCounterfactual constructor, preserve §150 proof term Deploy docs to GitHub Pages #21: Commit 03c79c0 pushed by jhhuh
7m 27s master
master
7m 27s
docs: add project CLAUDE.md with bilingual sync workflow Deploy docs to GitHub Pages #20: Commit d4d9163 pushed by jhhuh
53s master
master
53s
Fix directive link to GitHub URL, fix EN output path in assemble script Deploy docs to GitHub Pages #19: Commit 929991b pushed by jhhuh
1m 29s master
master
1m 29s
Fix cross-language links: use absolute URLs instead of relative .md p… Deploy docs to GitHub Pages #18: Commit 15d8fc8 pushed by jhhuh
1m 55s master
master
1m 55s
Add Korean docs site with language switcher (docs/ko/) Deploy docs to GitHub Pages #17: Commit 4202232 pushed by jhhuh
3m 55s master
master
3m 55s
feat: mechanical case verification pipeline with Nix-pinned sources Deploy docs to GitHub Pages #16: Commit b73ac5a pushed by jhhuh
2m 38s master
master
2m 38s
fix: replace LICENSE symlinks with copies for nix store isolation Deploy docs to GitHub Pages #15: Commit b02276d pushed by jhhuh
1m 40s master
master
1m 40s
docs: add full court opinions and link from case demonstrations Deploy docs to GitHub Pages #14: Commit ba0f74f pushed by jhhuh
59s master
master
59s
docs: make all tables full-width in case demonstrations Deploy docs to GitHub Pages #13: Commit b881b2e pushed by jhhuh
1m 13s master
master
1m 13s
docs: fix table column widths to 50/50 in case demonstrations Deploy docs to GitHub Pages #12: Commit 21fe13d pushed by jhhuh
29s master
master
29s
docs: restructure case demonstrations with identity/fact/judgment tables Deploy docs to GitHub Pages #11: Commit dcf5cf0 pushed by jhhuh
1m 2s master
master
1m 2s
docs: restructure case demonstrations with identity/fact/judgment tables Deploy docs to GitHub Pages #10: Commit bef1c78 pushed by jhhuh
1m 47s master
master
1m 47s
feat: omnibus evaluator — run all act types from unified CaseFacts Deploy docs to GitHub Pages #9: Commit a947d72 pushed by jhhuh
1m 37s master
master
1m 37s
feat: add case demonstration executable and docs Deploy docs to GitHub Pages #8: Commit 5d003fa pushed by jhhuh
1m 37s master
master
1m 37s
docs: surface second-order finding in README intro Deploy docs to GitHub Pages #7: Commit 67935ba pushed by jhhuh
1m 33s master
master
1m 33s
docs: add dedicated second-order defeasibility analysis Deploy docs to GitHub Pages #6: Commit 380c4f3 pushed by jhhuh
1m 37s master
master
1m 37s
docs: document second-order patterns (wrapper + recursive query) Deploy docs to GitHub Pages #5: Commit daa0b27 pushed by jhhuh
1m 37s master
master
1m 37s
docs: update Deontic.Civil coverage table with §134-§152 Deploy docs to GitHub Pages #4: Commit 97e55fa pushed by jhhuh
1m 49s master
master
1m 49s
docs: add 총칙 remainder (§134-§152) implementation plan Deploy docs to GitHub Pages #3: Commit b7e9417 pushed by jhhuh
1m 33s master
master
1m 33s
refactor: move coverage summary to top-level Deontic.Civil module Deploy docs to GitHub Pages #2: Commit a4e215d pushed by jhhuh
1m 27s master
master
1m 27s
ci: add GitHub Pages deployment workflow Deploy docs to GitHub Pages #1: Commit 9a432b6 pushed by jhhuh
1m 36s master
master
1m 36s