Skip to content

Actions: hyperpolymath/julianiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
154 workflow runs
154 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
CodeQL Security Analysis CodeQL Security Analysis #154: Scheduled
44s main
main
44s
ci: Secret Scanner caller must grant the reusable's job permissions (… CodeQL Security Analysis #153: Commit f4d2c41 pushed by hyperpolymath
24m 12s main
main
24m 12s
ci: Secret Scanner caller must grant the reusable's job permissions CodeQL Security Analysis #152: Pull request #54 opened by hyperpolymath
1m 6s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 6s
fix(ci): clear OSSF Scorecard startup_failure (#53) CodeQL Security Analysis #151: Commit 4c384f6 pushed by hyperpolymath
50m 28s main
main
50m 28s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #150: Pull request #53 opened by hyperpolymath
5m 14s fix/scorecard-caller-startup
fix/scorecard-caller-startup
5m 14s
CodeQL Security Analysis CodeQL Security Analysis #149: Scheduled
38s main
main
38s
ci(abi): typecheck the Idris2 ABI in CI (G34) (#52) CodeQL Security Analysis #148: Commit f6ed4fe pushed by hyperpolymath
47s main
main
47s
ci(abi): typecheck the Idris2 ABI in CI (G34) CodeQL Security Analysis #147: Pull request #52 opened by hyperpolymath
1m 1s claude/axiom-jl-registry-infra-kr7t4a
claude/axiom-jl-registry-infra-kr7t4a
1m 1s
docs: convert README.md → README.adoc (estate .adoc-default policy) (… CodeQL Security Analysis #146: Commit 645ee59 pushed by hyperpolymath
45s main
main
45s
docs: convert README.md → README.adoc (estate .adoc-default policy) CodeQL Security Analysis #145: Pull request #51 opened by hyperpolymath
46s claude/axiom-jl-registry-infra-kr7t4a
claude/axiom-jl-registry-infra-kr7t4a
46s
chore(licence): add SPDX headers to headerless files (G39) (#50) CodeQL Security Analysis #144: Commit 38a4bab pushed by hyperpolymath
43s main
main
43s
chore(licence): add SPDX headers to headerless files (G39) CodeQL Security Analysis #143: Pull request #50 opened by hyperpolymath
41s claude/axiom-jl-registry-infra-kr7t4a
claude/axiom-jl-registry-infra-kr7t4a
41s
docs(readme): mark scikit-learn→MLJ as planned, not shipped (G38) (#49) CodeQL Security Analysis #142: Commit 67fea44 pushed by hyperpolymath
45s main
main
45s
docs(readme): mark scikit-learn→MLJ as planned, not shipped (G38) CodeQL Security Analysis #141: Pull request #49 opened by hyperpolymath
42s claude/axiom-jl-registry-infra-kr7t4a
claude/axiom-jl-registry-infra-kr7t4a
42s
fix(codegen): parseable non-throwing Julia output; honest FFI relabel… CodeQL Security Analysis #140: Commit 3c57147 pushed by hyperpolymath
39s main
main
39s
fix(codegen): parseable non-throwing Julia output; honest FFI relabel; Zig 0.13 build CodeQL Security Analysis #139: Pull request #48 opened by hyperpolymath
47s claude/axiom-jl-registry-infra-kr7t4a
claude/axiom-jl-registry-infra-kr7t4a
47s
fix(clade): correct identity uuid (deterministic v5) (#47) CodeQL Security Analysis #138: Commit 449bb2f pushed by hyperpolymath
4m 3s main
main
4m 3s
fix(clade): correct identity uuid (deterministic v5) CodeQL Security Analysis #137: Pull request #47 opened by hyperpolymath
2m 18s fix/clade-uuid
fix/clade-uuid
2m 18s
CodeQL Security Analysis CodeQL Security Analysis #136: Scheduled
44s main
main
44s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… CodeQL Security Analysis #135: Commit f4551d4 pushed by hyperpolymath
53s main
main
53s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #134: Pull request #46 synchronize by hyperpolymath
1m 4s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 4s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy CodeQL Security Analysis #133: Pull request #46 opened by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 5: end-to-end soundness capstone certificate (#45) CodeQL Security Analysis #132: Commit 4a5ac2a pushed by hyperpolymath
42s main
main
42s
ABI Layer 5: end-to-end soundness capstone certificate CodeQL Security Analysis #131: Pull request #45 synchronize by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
ABI Layer 4: prove the FFI result-code seam is injective + faithful CodeQL Security Analysis #130: Pull request #44 synchronize by hyperpolymath
1m 0s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 0s