Skip to content

Actions: hyperpolymath/halideiser

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
74 workflow runs
74 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
ci: Secret Scanner caller must grant the reusable's job permissions (… Instant Sync #74: Commit 13d0e80 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#42) Instant Sync #73: Commit c763d82 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#41) Instant Sync #72: Commit 312ce8f pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#40) Instant Sync #71: Commit 2d8a1cf pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#39) Instant Sync #70: Commit 1c0b550 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Instant Sync #69: Commit 0088171 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… Instant Sync #68: Commit 8544be8 pushed by hyperpolymath
23s main
main
23s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) Instant Sync #67: Commit 7e3f5ee pushed by hyperpolymath
17s main
main
17s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) Instant Sync #66: Commit e190e0f pushed by hyperpolymath
1h 0m 40s main
main
1h 0m 40s
P1: fix Zig FFI to compile under Zig 0.14.0 (#34) Instant Sync #65: Commit 7aa69f9 pushed by hyperpolymath
7s main
main
7s
Auto-install pinned Zig toolchain in setup + devcontainer (#33) Instant Sync #64: Commit 204189d pushed by hyperpolymath
3m 3s main
main
3m 3s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Instant Sync #63: Commit 695cc51 pushed by hyperpolymath
1m 47s main
main
1m 47s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) Instant Sync #62: Commit 113125a pushed by hyperpolymath
3m 7s main
main
3m 7s
docs(readme): convert README.adoc -> Markdown README.md (#30) Instant Sync #61: Commit cca34a9 pushed by hyperpolymath
49m 26s main
main
49m 26s
chore(clade): backfill [status] lifecycle block (default active) (#28) Instant Sync #60: Commit aa4f223 pushed by hyperpolymath
18h 16m 10s main
main
18h 16m 10s
chore(ci): add dormant push-email notification workflow (#29) Instant Sync #59: Commit f02ffed pushed by hyperpolymath
17h 40m 34s main
main
17h 40m 34s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) Instant Sync #58: Commit 96b7244 pushed by hyperpolymath
10h 16m 22s main
main
10h 16m 22s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#26) Instant Sync #57: Commit 5303035 pushed by hyperpolymath
1h 54m 38s main
main
1h 54m 38s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#25) Instant Sync #56: Commit 67e1070 pushed by hyperpolymath
40m 52s main
main
40m 52s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #55: Commit c7b6b2e pushed by hyperpolymath
55m 50s main
main
55m 50s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Instant Sync #54: Commit 3fe5687 pushed by hyperpolymath
15m 49s main
main
15m 49s
Base camp: RSR Mustfile + green CI (#24) Instant Sync #53: Commit 188bc27 pushed by hyperpolymath
1m 24s main
main
1m 24s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#23) Instant Sync #52: Commit e62abda pushed by hyperpolymath
14h 26m 31s main
main
14h 26m 31s
ci(hypatia-scan): repin reusable to merge-commit SHA (#22) Instant Sync #51: Commit 21e8d40 pushed by hyperpolymath
8s main
main
8s
chore(ci): replace secret-scanner.yml with reusable wrapper (#21) Instant Sync #50: Commit 4caea66 pushed by hyperpolymath
7s main
main
7s