M14b: adaptive seeding works, and the ladder needs replicating #32
martex-devci.yml
on: push
lint + types
23s
scientific invariants
1m 12s
invariants on postgres
1m 36s
bank ground truth
2m 11s
benchmark protocol and results
15s
the report builds and refuses a bad ledger
1m 2s
reproducible from a clean clone
13s
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:e9bccfc4f6071b1c01dfa0eee96ddce9295b51be2f778acb53499cd0e2c4c64c
|
|