Skip to content
AffineScript Verify

fix(ci-pipeline): make report the single judge, and read the ledger at job.workflow_sha #1788

Sign in to view logs

fix(ci-pipeline): make report the single judge, and read the ledger at job.workflow_sha

fix(ci-pipeline): make report the single judge, and read the ledger at job.workflow_sha #1788

Triggered via pull request September 22, 2026 18:17
@hyperpolymathhyperpolymath
synchronize #989
pipeline/one-judge-ledger-and-idris-probe
Status Success
Total duration 51s
Artifacts –

affinescript-verify.yml

on: pull_request
AffineScript Verify
44s
AffineScript Verify
Fit to window
Zoom out
Zoom in

Annotations

1 notice
AffineScript Verify
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"