Skip to content

Actions: hyperpolymath/nimiser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
142 workflow runs
142 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
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Hypatia Security Scan #142: Commit 5c3527f pushed by hyperpolymath
2h 56m 44s main
main
2h 56m 44s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #141: Pull request #45 opened by hyperpolymath
52m 22s fix/governance-gate-sweep
fix/governance-gate-sweep
52m 22s
security: re-pin secret scanner onto the real gitleaks gate (#44) Hypatia Security Scan #140: Commit 2625666 pushed by hyperpolymath
18m 29s main
main
18m 29s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #139: Pull request #44 opened by hyperpolymath
6m 20s security/real-secret-gate
security/real-secret-gate
6m 20s
Hypatia Security Scan Hypatia Security Scan #138: Scheduled
41s main
main
41s
Hypatia Security Scan Hypatia Security Scan #137: Scheduled
20s main
main
20s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #136: Commit 8d8fdf3 pushed by hyperpolymath
12m 33s main
main
12m 33s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #135: Pull request #43 opened by hyperpolymath
1m 40s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 40s
fix(ci): clear OSSF Scorecard startup_failure (#42) Hypatia Security Scan #134: Commit 1dfd6e5 pushed by hyperpolymath
47m 4s main
main
47m 4s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #133: Pull request #42 opened by hyperpolymath
6m 4s fix/scorecard-caller-startup
fix/scorecard-caller-startup
6m 4s
Hypatia Security Scan Hypatia Security Scan #132: Scheduled
21s main
main
21s
fix(clade): correct identity uuid (deterministic v5) (#41) Hypatia Security Scan #131: Commit 1cbe5d3 pushed by hyperpolymath
7m 22s main
main
7m 22s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #130: Pull request #41 opened by hyperpolymath
7m 24s fix/clade-uuid
fix/clade-uuid
7m 24s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Hypatia Security Scan #129: Commit 35c90de pushed by hyperpolymath
27s main
main
27s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + workflow-lint Hypatia Security Scan #128: Pull request #40 synchronize by hyperpolymath
25s claude/new-session-znxgm7
claude/new-session-znxgm7
25s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + workflow-lint Hypatia Security Scan #127: Pull request #40 opened by hyperpolymath
21s claude/new-session-znxgm7
claude/new-session-znxgm7
21s
ABI Layer 5: end-to-end soundness capstone certificate (#39) Hypatia Security Scan #126: Commit 7fda0e9 pushed by hyperpolymath
20s main
main
20s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #125: Pull request #39 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #124: Commit 8e0badc pushed by hyperpolymath
27s main
main
27s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #123: Pull request #38 synchronize by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
ABI Layer 3: type-lowering injectivity + composition (two deeper code… Hypatia Security Scan #122: Commit d6ec80c pushed by hyperpolymath
1m 26s main
main
1m 26s
ABI Layer 3: type-lowering injectivity + composition (two deeper codegen theorems) Hypatia Security Scan #121: Pull request #37 synchronize by hyperpolymath
40s claude/new-session-znxgm7
claude/new-session-znxgm7
40s
Hypatia Security Scan Hypatia Security Scan #120: Scheduled
30s main
main
30s
abi(nimiser): prove C-binding signature preservation (Layer 2) (#36) Hypatia Security Scan #119: Commit 5b2fada pushed by hyperpolymath
56s main
main
56s
ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof Hypatia Security Scan #118: Pull request #36 opened by hyperpolymath
1m 6s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 6s