Skip to content

Actions: hyperpolymath/snifs

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
168 workflow runs
168 workflow runs

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+ci: correct OTP-28 reasoning — works on Elixir 1.19, not 1.18 CodeQL Security Analysis #93: Pull request #32 opened by hyperpolymath
9h 48m 51s claude/snifs-otp-readme-correction
claude/snifs-otp-readme-correction
9h 48m 51s
ci+test: wire build-mode invariant gate, harden crash_oob, remove sta… CodeQL Security Analysis #92: Commit 6ab7493 pushed by hyperpolymath
54m 52s main
main
54m 52s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #91: Pull request #30 synchronize by hyperpolymath
53m 7s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
53m 7s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #90: Pull request #30 synchronize by hyperpolymath
5m 23s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
5m 23s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #89: Pull request #30 synchronize by hyperpolymath
2m 37s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
2m 37s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #88: Pull request #30 synchronize by hyperpolymath
5m 3s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
5m 3s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #87: Pull request #30 synchronize by hyperpolymath
7m 34s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
7m 34s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #86: Pull request #30 synchronize by hyperpolymath
44s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
44s
ci+test: wire build-mode invariant gate, harden crash_oob, remove stale wasm CodeQL Security Analysis #85: Pull request #30 opened by hyperpolymath
1m 7s claude/snifs-build-mode-ci-gate
claude/snifs-build-mode-ci-gate
1m 7s
chore(deps): bump nixpkgs from 6dedf69 to 4100e83 CodeQL Security Analysis #84: Pull request #29 opened by dependabot Bot
35s dependabot/nix/nixpkgs-4100e83
dependabot/nix/nixpkgs-4100e83
35s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix)… CodeQL Security Analysis #83: Commit 4e4ff64 pushed by hyperpolymath
7h 5m 41s main
main
7h 5m 41s
chore(ci): replace secret-scanner.yml with reusable wrapper (#25) CodeQL Security Analysis #82: Commit 1755734 pushed by hyperpolymath
3s main
main
3s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… CodeQL Security Analysis #81: Commit f20330a pushed by hyperpolymath
6s main
main
6s
chore(ci): replace scorecard.yml with reusable wrapper (#27) CodeQL Security Analysis #80: Commit 75dd269 pushed by hyperpolymath
3h 18m 17s main
main
3h 18m 17s
docs: seed docs/proof-debt.md (zero-debt invariant) per trusted-base … CodeQL Security Analysis #79: Commit 562f817 pushed by hyperpolymath
2h 20m 31s main
main
2h 20m 31s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL Security Analysis #78: Pull request #25 synchronize by hyperpolymath
5h 33m 23s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
5h 33m 23s
chore(license): migrate to MPL-2.0 (#23) CodeQL Security Analysis #77: Commit 86d6db8 pushed by hyperpolymath
1h 31m 46s main
main
1h 31m 46s
chore(ci): replace mirror.yml with reusable wrapper (#24) CodeQL Security Analysis #76: Commit fa34f76 pushed by hyperpolymath
17s main
main
17s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix) CodeQL Security Analysis #75: Pull request #28 opened by hyperpolymath
6h 6m 9s ci/hypatia-scan-pin-fix
ci/hypatia-scan-pin-fix
6h 6m 9s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL Security Analysis #74: Pull request #27 opened by hyperpolymath
9h 50m 41s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
9h 50m 41s
docs: seed docs/proof-debt.md (zero-debt invariant) per trusted-base policy CodeQL Security Analysis #73: Pull request #26 opened by hyperpolymath
8h 19m 11s claude/seed-proof-debt-2026-05-26
claude/seed-proof-debt-2026-05-26
8h 19m 11s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL Security Analysis #72: Pull request #25 opened by hyperpolymath
8h 6m 21s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
8h 6m 21s
chore(ci): replace mirror.yml with reusable wrapper CodeQL Security Analysis #71: Pull request #24 opened by hyperpolymath
6h 20m 17s chore/mirror-reusable-wrapper
chore/mirror-reusable-wrapper
6h 20m 17s
docs: record tech-debt audit findings (2026-05-26) (#22) CodeQL Security Analysis #70: Commit 12e2d66 pushed by hyperpolymath
5h 20m 1s main
main
5h 20m 1s
chore(license): migrate to MPL-2.0 CodeQL Security Analysis #69: Pull request #23 opened by hyperpolymath
4h 31m 5s license/migrate-to-mpl-2.0
license/migrate-to-mpl-2.0
4h 31m 5s