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
chore: make direnv lightweight and opt-in for guix/nix CodeQL Security Analysis #18: Commit f25c305 pushed by hyperpolymath
40s main
main
40s
chore(deps): bump the cargo group across 1 directory with 3 updates CodeQL Security Analysis #17: Pull request #2 opened by dependabot Bot
30s dependabot/cargo/demo/deps/wasmex/native/wasmex/cargo-e744a0793b
dependabot/cargo/demo/deps/wasmex/native/wasmex/cargo-e744a0793b
30s
chore: finalize metadata, citation, verification, and release automation CodeQL Security Analysis #16: Commit 6ae2786 pushed by hyperpolymath
39s main
main
39s
CodeQL Security Analysis CodeQL Security Analysis #15: Scheduled
38s main
main
38s
Standardize workspace: Track Bust contractile artifacts CodeQL Security Analysis #14: Commit 5ce4210 pushed by hyperpolymath
4h 56m 19s main
main
4h 56m 19s
chore(contractiles): add bust/ + relocate k9 to svc/ CodeQL Security Analysis #13: Commit 5c0f77b pushed by hyperpolymath
4h 50m 17s main
main
4h 50m 17s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #12: Commit f61e5d8 pushed by hyperpolymath
3h 0m 10s main
main
3h 0m 10s
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #11: Commit c211aef pushed by hyperpolymath
40m 21s main
main
40m 21s
ci: wire hypatia-scan.yml to query own Dependabot alerts CodeQL Security Analysis #10: Commit b5574ad pushed by hyperpolymath
1h 36m 50s main
main
1h 36m 50s
chore: purge _build/ from tracking + .gitignore refresh CodeQL Security Analysis #9: Commit d81548a pushed by hyperpolymath
1h 37m 47s main
main
1h 37m 47s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #8: Commit 6f69941 pushed by hyperpolymath
22m 12s main
main
22m 12s
Merge pull request #1 from hyperpolymath/claude/add-snif-fft-support-… CodeQL Security Analysis #7: Commit 431faf9 pushed by hyperpolymath
1m 16s main
main
1m 16s
Complete formal verification proofs for SNIF (ABI-1 through ABI-5, TP-1, TP-2) CodeQL Security Analysis #6: Pull request #1 opened by hyperpolymath
5m 4s claude/add-snif-fft-support-1qPr9
claude/add-snif-fft-support-1qPr9
5m 4s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just CodeQL Security Analysis #5: Commit 762bee0 pushed by hyperpolymath
42s main
main
42s
CodeQL Security Analysis CodeQL Security Analysis #4: Scheduled
38s main
main
38s
docs(paper): strengthen SNIFs paper — theorem, disassembly matrix, co… CodeQL Security Analysis #3: Commit 19ccf2a pushed by hyperpolymath
30s main
main
30s
chore: add Zenodo DOI badge — 10.5281/zenodo.19520245 CodeQL Security Analysis #2: Commit 5012aeb pushed by hyperpolymath
33s main
main
33s
feat(snif): initial paper + empirical demo — WASM crash isolation for… CodeQL Security Analysis #1: Commit c79c052 pushed by hyperpolymath
34s main
main
34s