Skip to content
BoJ Server Build Trigger

P1: align Zig FFI symbol names to the Idris2 ABI (#39) #75

Sign in to view logs

P1: align Zig FFI symbol names to the Idris2 ABI (#39)

P1: align Zig FFI symbol names to the Idris2 ABI (#39) #75

Triggered via push June 26, 2026 22:08
@hyperpolymathhyperpolymath
pushed 095e38a
main
Status Success
Total duration 51s
Artifacts –

boj-build.yml

on: push
trigger-boj
4s
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/