Shellcheck

[Dijkstra] LEDGER-pov: complete the proof — gov re-derivation; Certs/Utxo/Utxow facts as parameters #2408

Sign in to view logs

Triggered via pull request June 23, 2026 06:55

synchronize #1223

claude/gifted-bardeen-iiix4j

Status Success

Total duration 29s

Artifacts –

shellcheck.yml

on: pull_request

Annotations

1 warning

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: workflow/nix-shell-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/