Skip to content

M23: the switch was declared, hashed, translated -- and read by nothing #41

M23: the switch was declared, hashed, translated -- and read by nothing

M23: the switch was declared, hashed, translated -- and read by nothing #41

Triggered via push September 2, 2026 11:56
Status Cancelled
Total duration 2m 0s
Artifacts 3

ci.yml

on: push
lint + types
21s
lint + types
scientific invariants
1m 6s
scientific invariants
invariants on postgres
1m 41s
invariants on postgres
bank ground truth
1m 48s
bank ground truth
benchmark protocol and results
14s
benchmark protocol and results
the report builds and refuses a bad ledger
1m 7s
the report builds and refuses a bad ledger
a custodied arm reproduces exactly
1m 56s
a custodied arm reproduces exactly
the paper builds from committed sources
14s
the paper builds from committed sources
the station builds from committed sources alone
23s
the station builds from committed sources alone
reproducible from a clean clone
10s
reproducible from a clean clone
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 9 warnings
invariants on postgres
Canceling since a higher priority waiting request for CI-refs/heads/main exists
bank ground truth
Canceling since a higher priority waiting request for CI-refs/heads/main exists
bank ground truth
The operation was canceled.
test · windows-latest
Canceling since a higher priority waiting request for CI-refs/heads/main exists
test · windows-latest
The operation was canceled.
test · ubuntu-latest
Canceling since a higher priority waiting request for CI-refs/heads/main exists
test · ubuntu-latest
The operation was canceled.
a custodied arm reproduces exactly
Canceling since a higher priority waiting request for CI-refs/heads/main exists
a custodied arm reproduces exactly
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists
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 paper builds from committed sources
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-d7470aae203f4a23cf4372160866d40e615dace4092ffa3d798bc58d73982dd2, another job may be creating this cache.
benchmark protocol and results
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-d7470aae203f4a23cf4372160866d40e615dace4092ffa3d798bc58d73982dd2, another job may be creating this cache.
lint + types
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-d7470aae203f4a23cf4372160866d40e615dace4092ffa3d798bc58d73982dd2, another job may be creating this cache.
the station builds from committed sources alone
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 station builds from committed sources alone
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-d7470aae203f4a23cf4372160866d40e615dace4092ffa3d798bc58d73982dd2, another job may be creating this cache.
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/
the report builds and refuses a bad ledger
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-d7470aae203f4a23cf4372160866d40e615dace4092ffa3d798bc58d73982dd2, another job may be creating this cache.
scientific invariants
Failed to save: Unable to reserve cache with key setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-d7470aae203f4a23cf4372160866d40e615dace4092ffa3d798bc58d73982dd2, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
paper
7.95 KB
sha256:ae39be2998a48dbc897a40118e140bd891af80f9b89156f0a3b38d1b476a66e7
report
14 KB
sha256:483be7422dd908deb88fdfd8fad4aaff4119958847825f426c774bd72bf5b647
station
27.7 KB
sha256:ad6d4a052cb8c67ed96f47d4cea2f5cc47df83c515524c9c94eb6b976cef560b