Skip to content
Run GOTO Transcoder (ESBMC)

Merge subtree update for toolchain nightly-2026-10-12 #2075

Sign in to view logs

Merge subtree update for toolchain nightly-2026-10-12

Merge subtree update for toolchain nightly-2026-10-12 #2075

Re-run triggered October 21, 2026 20:02
@feliperodrifeliperodri
#732
sync-2026-10-12
Status Success
Total duration 28m 7s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
15m 50s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
Verify contracts with goto-transcoder
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify contracts with goto-transcoder
"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"