fix(proof): require real proof rejection and valid Coq submissions #348
hyperpolymathchapel-ci.yml
on: pull_request
Build & Test Zig FFI Bridge
46s
Compile Chapel Metalayer
1m 8s
Rust Build with Chapel Feature
3m 17s
Rust Build — Real Chapel Library (allow-fail, L2.3+ gate)
3m 10s
Annotations
1 error and 2 warnings
|
Rust Build — Real Chapel Library (allow-fail, L2.3+ gate)
Process completed with exit code 101.
|
|
Build & Test Zig FFI Bridge
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: mlugg/setup-zig@v2.2.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rust Build — Real Chapel Library (allow-fail, L2.3+ gate)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: mlugg/setup-zig@v2.2.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
chapel-ffi-lib
|
1.68 MB |
sha256:4e2f12892d80a82df4a5e44c49c5bad989e889b16eefacd5e0f77046e4a9655a
|
|
|
chapel-lib
|
468 KB |
sha256:6083ade7524ac5f298b765a5788163c88f899faf41090df5106f18aa315a73e9
|
|