Skip to content
BoJ Server Build Trigger

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #62

Sign in to view logs

ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #62

Triggered via push June 26, 2026 14:54
@hyperpolymathhyperpolymath
pushed 543f386
main
Status Success
Total duration 41s
Artifacts –

boj-build.yml

on: push
trigger-boj
6s
trigger-boj
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
trigger-boj
Process completed with exit code 2.
trigger-boj
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/