Skip to content

Actions: ericsssan/zbc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 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(rules): lock-held-across-early-exit — leaked-lock deadlock detec… CI #58: Commit 419d153 pushed by ericsssan
2m 7s main
main
2m 7s
ci: enforce the finding-regression check on every push/PR (#19) CI #57: Commit cdb4992 pushed by ericsssan
3m 8s main
main
3m 8s
feat(metrics): finding-regression harness over a stable corpus (#19) CI #56: Commit 9069f02 pushed by ericsssan
2m 44s main
main
2m 44s
feat(value-range): prove min-length from len >= N guards + adopt in… CI #55: Commit 16ffa49 pushed by ericsssan
2m 42s main
main
2m 42s
feat(cache): cross-file effect propagation + unify effect phases (#20) CI #54: Commit 3916abd pushed by ericsssan
2m 5s main
main
2m 5s
feat(cache): sound build.zig named-module resolution (#20) CI #53: Commit 5336e91 pushed by ericsssan
1m 46s main
main
1m 46s
fix(cache): fall through to @import traversal on global-index miss (#27) CI #52: Commit 5104072 pushed by ericsssan
1m 56s main
main
1m 56s
fix(cache): fall through to @import traversal on global-index miss (#20) CI #51: Pull request #27 opened by ericsssan
1m 49s fix/crossfile-import-fallback-on-index-miss
fix/crossfile-import-fallback-on-index-miss
1m 49s
feat(cache): deepen cross-file ownership summaries (#20) (#26) CI #50: Commit 8e02dfd pushed by ericsssan
2m 26s main
main
2m 26s
feat(cache): deepen cross-file ownership summaries (#20) CI #49: Pull request #26 opened by ericsssan
1m 52s feat/crossfile-may-free-fields
feat/crossfile-may-free-fields
1m 52s
feat(output): SARIF 2.1.0 output format + three-valued verdict model … CI #48: Commit 84e14f4 pushed by ericsssan
1m 49s main
main
1m 49s
fix(cfg): replay errdefers on return err from catch/else captures (… CI #47: Commit aa3d7d9 pushed by ericsssan
2m 23s main
main
2m 23s
feat(output): SARIF 2.1.0 output format + three-valued verdict model CI #46: Pull request #25 opened by ericsssan
1m 45s feat/sarif-output
feat/sarif-output
1m 45s
fix(cfg): replay errdefers on return err from catch/else captures (closes #17) CI #45: Pull request #24 opened by ericsssan
1m 19s fix/errdefer-at-return
fix/errdefer-at-return
1m 19s
chore: bump version to 0.1.3 CI #44: Commit 65847aa pushed by ericsssan
2m 7s main
main
2m 7s
fix: include src/ in package paths, bump to 0.1.2 CI #43: Commit cffd49e pushed by ericsssan
24s main
main
24s
fix(stack-escape): suppress FP on &ptr_field.sub via type engine (#11) CI #42: Commit 9537a04 pushed by ericsssan
2m 30s main
main
2m 30s
build: dogfood — self-check on zig build; fix 2 TPs, suppress 15 FPs CI #41: Commit d378038 pushed by ericsssan
1m 46s main
main
1m 46s
chore: bump version to 0.1.1 CI #40: Commit b519b8b pushed by ericsssan
2m 22s main
main
2m 22s
fix(suppressions): strip trailing annotation after rule-id (#10) CI #39: Commit fe772c0 pushed by ericsssan
1m 42s main
main
1m 42s
chore: bump version to 0.1.0 CI #38: Commit a4a162f pushed by ericsssan
25s main
main
25s
docs: add GitHub Sponsors — FUNDING.yml + README section CI #37: Commit 7961da4 pushed by ericsssan
22s main
main
22s
docs(readme): ask users to file FP/FN issues CI #36: Commit 9f713fd pushed by ericsssan
32s main
main
32s
docs(readme): sharpen tagline, example, build integration, rules CI #35: Commit 02589a6 pushed by ericsssan
29s main
main
29s
docs(readme): fix tagline count, tighten prose, fix CLI section CI #34: Commit 5fbd94b pushed by ericsssan
42s main
main
42s