Skip to content

Actions: hyperpolymath/bqniser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
135 workflow runs
135 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 #135: Commit c123bf9 pushed by hyperpolymath
3h 16m 27s main
main
3h 16m 27s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Hypatia Security Scan #134: Pull request #42 opened by hyperpolymath
7m 44s fix/governance-gate-sweep
fix/governance-gate-sweep
7m 44s
security: re-pin secret scanner onto the real gitleaks gate (#41) Hypatia Security Scan #133: Commit 41127b3 pushed by hyperpolymath
2m 57s main
main
2m 57s
security: re-pin secret scanner onto the real gitleaks gate Hypatia Security Scan #132: Pull request #41 opened by hyperpolymath
40s security/real-secret-gate
security/real-secret-gate
40s
Hypatia Security Scan Hypatia Security Scan #131: Scheduled
21s main
main
21s
Hypatia Security Scan Hypatia Security Scan #130: Scheduled
21s main
main
21s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #129: Commit 519ef12 pushed by hyperpolymath
31m 50s main
main
31m 50s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #128: Pull request #40 opened by hyperpolymath
33s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
33s
fix(ci): clear OSSF Scorecard startup_failure (#39) Hypatia Security Scan #127: Commit 7a1d509 pushed by hyperpolymath
52m 12s main
main
52m 12s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #126: Pull request #39 opened by hyperpolymath
30s fix/scorecard-caller-startup
fix/scorecard-caller-startup
30s
Hypatia Security Scan Hypatia Security Scan #125: Scheduled
20s main
main
20s
fix(clade): correct identity uuid (deterministic v5) (#38) Hypatia Security Scan #124: Commit 16c7d09 pushed by hyperpolymath
1m 47s main
main
1m 47s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #123: Pull request #38 opened by hyperpolymath
30s fix/clade-uuid
fix/clade-uuid
30s
ci: make CI genuinely green — rust-ci toolchain pin (#37) Hypatia Security Scan #122: Commit 6dc7951 pushed by hyperpolymath
25s main
main
25s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #121: Pull request #37 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #120: Pull request #37 opened by hyperpolymath
26s claude/new-session-znxgm7
claude/new-session-znxgm7
26s
ABI Layer 5: end-to-end soundness capstone certificate (#36) Hypatia Security Scan #119: Commit e752343 pushed by hyperpolymath
23s main
main
23s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #118: Pull request #36 synchronize by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Hypatia Security Scan #117: Commit d8ce701 pushed by hyperpolymath
19s main
main
19s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #116: Pull request #35 synchronize by hyperpolymath
22s claude/new-session-znxgm7
claude/new-session-znxgm7
22s
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) (#34) Hypatia Security Scan #115: Commit dd8ea77 pushed by hyperpolymath
33s main
main
33s
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) Hypatia Security Scan #114: Pull request #34 synchronize by hyperpolymath
37s claude/new-session-znxgm7
claude/new-session-znxgm7
37s
Hypatia Security Scan Hypatia Security Scan #113: Scheduled
29s main
main
29s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — … Hypatia Security Scan #112: Commit f4d6a44 pushed by hyperpolymath
22s main
main
22s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — flagship Idris2 proof Hypatia Security Scan #111: Pull request #33 opened by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s