Workflow runs · rjkaes/shush · GitHub
Skip to content

Actions: rjkaes/shush

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 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
docs: add DESIGN.md, rewrite DATA_FLOW.md, update configuration.md CI #95: Commit e792a66 pushed by rjkaes
1m 21s main
main
1m 21s
chore: release v1.2.0 Release #16: Commit b58c3b8 pushed by rjkaes
11s v1.2.0
v1.2.0
11s
chore: release v1.2.0 CI #94: Commit b58c3b8 pushed by rjkaes
1m 18s main
main
1m 18s
Merge pull request #2 from rjkaes/feat/z3-gap-followup CI #93: Commit 574b0f2 pushed by rjkaes
1m 16s main
main
1m 16s
Z3 gap closure follow-up: G1/G4/G7 operationalization CI #92: Pull request #2 opened by rjkaes
1m 17s feat/z3-gap-followup
feat/z3-gap-followup
1m 17s
chore(lefthook): stage all build artifacts in pre-commit CI #91: Commit 61287f4 pushed by rjkaes
1m 50s main
main
1m 50s
Merge pull request #1 from rjkaes/worktree-z3-gap-closure-g1-g4-g7 CI #90: Commit d747a54 pushed by rjkaes
1m 17s main
main
1m 17s
Z3 gap closure: G1 / G4 / G7 CI #89: Pull request #1 synchronize by rjkaes
1m 16s worktree-z3-gap-closure-g1-g4-g7
worktree-z3-gap-closure-g1-g4-g7
1m 16s
Z3 gap closure: G1 / G4 / G7 CI #88: Pull request #1 synchronize by rjkaes
1m 58s worktree-z3-gap-closure-g1-g4-g7
worktree-z3-gap-closure-g1-g4-g7
1m 58s
Z3 gap closure: G1 / G4 / G7 CI #87: Pull request #1 opened by rjkaes
1m 11s worktree-z3-gap-closure-g1-g4-g7
worktree-z3-gap-closure-g1-g4-g7
1m 11s
chore: release v1.1.0 Release #15: Commit b52673f pushed by rjkaes
11s v1.1.0
v1.1.0
11s
chore: release v1.1.0 CI #86: Commit b52673f pushed by rjkaes
1m 9s main
main
1m 9s
fix(test): use os.homedir() instead of process.env.HOME in property t… CI #85: Commit 81dad02 pushed by rjkaes
1m 29s main
main
1m 29s
test: add 5 meta-property invariants for proactive regression detection CI #84: Commit 87373c2 pushed by rjkaes
1m 9s main
main
1m 9s
docs: move configuration and OpenCode sections to docs/ CI #83: Commit 6e89485 pushed by rjkaes
1m 4s main
main
1m 4s
docs: move examples above TOC CI #82: Commit 6ab975c pushed by rjkaes
1m 23s main
main
1m 23s
docs: add table of contents to README CI #81: Commit bdc5ced pushed by rjkaes
1m 10s main
main
1m 10s
docs: add comparison table vs nah and Dippy CI #80: Commit 2182292 pushed by rjkaes
1m 17s main
main
1m 17s
chore: release v1.0.0 Release #14: Commit 611198f pushed by rjkaes
11s v1.0.0
v1.0.0
11s
chore: release v1.0.0 CI #79: Commit 611198f pushed by rjkaes
1m 9s main
main
1m 9s
docs: add Z3 formal verification section to README CI #78: Commit 606296e pushed by rjkaes
1m 11s main
main
1m 11s
feat(config): add allowed_paths for boundary exceptions CI #77: Commit 2899efa pushed by rjkaes
24s main
main
24s
refactor(types): encode invariants in TypeScript type system CI #76: Commit 96146e8 pushed by rjkaes
22s main
main
22s
test: add Read/cat and Write/redirect equivalence properties CI #75: Commit df612a7 pushed by rjkaes
25s main
main
25s
chore: release v0.6.0 CI #74: Commit 30b94c1 pushed by rjkaes
27s main
main
27s