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 Event

Filter by Status

Filter by Branch

Filter by Actor

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