M15: replicate the ladder, and only the arms that can move #33
martex-devci.yml
on: push
lint + types
23s
scientific invariants
1m 8s
invariants on postgres
1m 41s
bank ground truth
4m 9s
benchmark protocol and results
15s
the report builds and refuses a bad ledger
58s
reproducible from a clean clone
11s
Matrix: test
Annotations
1 warning
|
the report builds and refuses a bad ledger
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. 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 | |
|---|---|---|---|
|
report
|
14 KB |
sha256:86e149f902aa1fa335a0076f46cf7862cb5307e21a99f03959f891b4bc957228
|
|