Skip to content

Actions: hyperpolymath/oblibeniser

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
67 workflow runs
67 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): clear OSSF Scorecard startup_failure (#37) Instant Sync #67: Commit 5b767aa pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#36) Instant Sync #66: Commit 10a7bd7 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#35) Instant Sync #65: Commit 756a0b2 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#34) Instant Sync #64: Commit 069f62c pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Instant Sync #63: Commit 7c5e848 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: reversible operations form a group (modulo denotational … Instant Sync #62: Commit a9d2af7 pushed by hyperpolymath
1m 25s main
main
1m 25s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… Instant Sync #61: Commit e921fd6 pushed by hyperpolymath
49s main
main
49s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) Instant Sync #60: Commit 2d43666 pushed by hyperpolymath
1h 35m 38s main
main
1h 35m 38s
P1: fix Zig FFI to build and match the Idris2 ABI (#29) Instant Sync #59: Commit f42c879 pushed by hyperpolymath
29s main
main
29s
Auto-install pinned Zig toolchain in setup + devcontainer (#28) Instant Sync #58: Commit 74d25e3 pushed by hyperpolymath
5m 33s main
main
5m 33s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Instant Sync #57: Commit a676ed9 pushed by hyperpolymath
20s main
main
20s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) Instant Sync #56: Commit 42575df pushed by hyperpolymath
56s main
main
56s
chore(clade): backfill [status] lifecycle block (#24) Instant Sync #55: Commit ee82745 pushed by hyperpolymath
21h 5m 2s main
main
21h 5m 2s
chore(ci): add dormant push-email notification workflow (#25) Instant Sync #54: Commit 20f5c86 pushed by hyperpolymath
21h 0m 38s main
main
21h 0m 38s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Instant Sync #53: Commit 19bf3f4 pushed by hyperpolymath
19h 0m 36s main
main
19h 0m 36s
chore(ci): bump standards reusable workflow pins (#22) Instant Sync #52: Commit 1d39837 pushed by hyperpolymath
4h 31m 53s main
main
4h 31m 53s
chore(nix->guix): remove flake.nix (Guix-only) (#21) Instant Sync #51: Commit 6e9cb82 pushed by hyperpolymath
54m 17s main
main
54m 17s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #50: Commit 2a67a05 pushed by hyperpolymath
44m 41s main
main
44m 41s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Instant Sync #49: Commit 1da543a pushed by hyperpolymath
19m 8s main
main
19m 8s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#20) Instant Sync #48: Commit 624faa6 pushed by hyperpolymath
31s main
main
31s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#19) Instant Sync #47: Commit 5938965 pushed by hyperpolymath
14h 47m 43s main
main
14h 47m 43s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix)… Instant Sync #46: Commit f6f0840 pushed by hyperpolymath
5h 50m 0s main
main
5h 50m 0s
chore(ci): replace secret-scanner.yml with reusable wrapper (#16) Instant Sync #45: Commit ed16791 pushed by hyperpolymath
5h 44m 21s main
main
5h 44m 21s
chore(ci): replace scorecard.yml with reusable wrapper (#17) Instant Sync #44: Commit 8c5a545 pushed by hyperpolymath
3h 55m 36s main
main
3h 55m 36s
chore(ci): replace mirror.yml with reusable wrapper (#15) Instant Sync #43: Commit da4cf26 pushed by hyperpolymath
6h 1m 10s main
main
6h 1m 10s