docs(machine-readable): update STATE + META for F1/F3/earn-back closure #470
Triggered via pull request
May 20, 2026 18:43
hyperpolymath
Status
Cancelled
Total duration
1h 45m 57s
Artifacts
–
Annotations
4 errors
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/93/merge exists
|
|
flake-check
Canceling since a higher priority waiting request for Agda-refs/pull/93/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/93/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/93/merge exists
|