Skip to content
DYADT Verify

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

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 #1154

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

dyadt-verify.yml

on: pull_request
Verify CLAIMS.a2ml + conformance
8s
Verify CLAIMS.a2ml + conformance
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Verify CLAIMS.a2ml + conformance
"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"