Skip to content

Actions: hyperpolymath/oblibeniser

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
126 workflow runs
126 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
Hypatia Security Scan Hypatia Security Scan #126: Scheduled
20s main
main
20s
ci: Secret Scanner caller must grant the reusable's job permissions (… Hypatia Security Scan #125: Commit 1e7b0a1 pushed by hyperpolymath
16m 32s main
main
16m 32s
ci: Secret Scanner caller must grant the reusable's job permissions Hypatia Security Scan #124: Pull request #38 opened by hyperpolymath
1m 5s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 5s
fix(ci): clear OSSF Scorecard startup_failure (#37) Hypatia Security Scan #123: Commit 5b767aa pushed by hyperpolymath
50m 39s main
main
50m 39s
fix(ci): clear OSSF Scorecard startup_failure Hypatia Security Scan #122: Pull request #37 opened by hyperpolymath
6m 3s fix/scorecard-caller-startup
fix/scorecard-caller-startup
6m 3s
Hypatia Security Scan Hypatia Security Scan #121: Scheduled
20s main
main
20s
fix(clade): correct identity uuid (deterministic v5) (#36) Hypatia Security Scan #120: Commit 10a7bd7 pushed by hyperpolymath
6m 16s main
main
6m 16s
fix(clade): correct identity uuid (deterministic v5) Hypatia Security Scan #119: Pull request #36 opened by hyperpolymath
6m 31s fix/clade-uuid
fix/clade-uuid
6m 31s
ci: make CI genuinely green — rust-ci toolchain pin (#35) Hypatia Security Scan #118: Commit 756a0b2 pushed by hyperpolymath
20s main
main
20s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #117: Pull request #35 synchronize by hyperpolymath
21s claude/new-session-znxgm7
claude/new-session-znxgm7
21s
ci: make CI genuinely green — rust-ci toolchain pin Hypatia Security Scan #116: Pull request #35 opened by hyperpolymath
19s claude/new-session-znxgm7
claude/new-session-znxgm7
19s
ABI Layer 5: end-to-end soundness capstone certificate (#34) Hypatia Security Scan #115: Commit 069f62c pushed by hyperpolymath
29s main
main
29s
ABI Layer 5: end-to-end soundness capstone certificate Hypatia Security Scan #114: Pull request #34 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 #113: Commit 7c5e848 pushed by hyperpolymath
20s main
main
20s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Hypatia Security Scan #112: Pull request #33 synchronize by hyperpolymath
20s claude/new-session-znxgm7
claude/new-session-znxgm7
20s
ABI Layer 3: reversible operations form a group (modulo denotational … Hypatia Security Scan #111: Commit a9d2af7 pushed by hyperpolymath
2m 49s main
main
2m 49s
ABI Layer 3: reversible operations form a group (modulo denotational equivalence) Hypatia Security Scan #110: Pull request #32 synchronize by hyperpolymath
28s claude/new-session-znxgm7
claude/new-session-znxgm7
28s
Hypatia Security Scan Hypatia Security Scan #109: Scheduled
35s main
main
35s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… Hypatia Security Scan #108: Commit e921fd6 pushed by hyperpolymath
1m 33s main
main
1m 33s
ABI Layer 2: prove operation reversibility (round-trip law) — flagship Idris2 proof Hypatia Security Scan #107: Pull request #31 opened by hyperpolymath
24s claude/new-session-znxgm7
claude/new-session-znxgm7
24s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) Hypatia Security Scan #106: Commit 2d43666 pushed by hyperpolymath
1h 32m 19s main
main
1h 32m 19s
ci: refresh standards reusable pins to current HEAD (d7c2271) Hypatia Security Scan #105: Pull request #30 opened by hyperpolymath
1h 32m 17s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 32m 17s
P1: fix Zig FFI to build and match the Idris2 ABI (#29) Hypatia Security Scan #104: Commit f42c879 pushed by hyperpolymath
2m 31s main
main
2m 31s
P1: fix Zig FFI to build and match the Idris2 ABI Hypatia Security Scan #103: Pull request #29 opened by hyperpolymath
33s claude/new-session-1fphit
claude/new-session-1fphit
33s
Auto-install pinned Zig toolchain in setup + devcontainer (#28) Hypatia Security Scan #102: Commit 74d25e3 pushed by hyperpolymath
6m 31s main
main
6m 31s