M17: the escalation was sizing itself from a five-point estimate #35
martex-devci.yml
on: push
lint + types
19s
scientific invariants
1m 9s
invariants on postgres
1m 59s
bank ground truth
3m 2s
benchmark protocol and results
14s
the report builds and refuses a bad ledger
1m 7s
the paper builds from committed sources
17s
reproducible from a clean clone
12s
Matrix: test
Annotations
2 warnings
|
the paper builds from committed sources
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/
|
|
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 | |
|---|---|---|---|
|
paper
|
6.71 KB |
sha256:672495525cfc4dd542c03b2fa7ccd7aab4739ce620e6a6ab7c65f388a30d0d18
|
|
|
report
|
14 KB |
sha256:7a4a34f8f4ea4ffa1c5889272af0ff9eb788746ffe0fe12a210c42afd9db1208
|
|