Repository navigation
fix: the Hypatia gate could never fire — the defects that made it unconditionally vacuous #66
Triggered via pull request
September 3, 2026 03:43
hyperpolymath
Status
Success
Total duration
12m 41s
Artifacts
–
test-suite.yml
on: pull_request
Zig Core Tests
36s
Forth Block Tests
37s
Lean 4 Normalizer Tests
10s
C FFI Integration Tests
38s
Annotations
6 warnings
|
Zig Core Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: goto-bus-stop/setup-zig@v2.2.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Zig Core Tests
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>08e2YagAAAAB+us1dKzVyRJ4187S0JpDGTEFYMzExMDAwMTExMDIzAEVkZ2U=
|
|
Zig Core Tests
Failed to restore: Cache service responded with 400
|
|
C FFI Integration Tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: goto-bus-stop/setup-zig@v2.2.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
C FFI Integration Tests
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0s++YagAAAACGg0QQoT1gRL7R9Xz7j+GMUEhMMzBFREdFMDQxOABFZGdl
|
|
C FFI Integration Tests
Failed to restore: Cache service responded with 400
|