Skip to content

chore(ci): generate actions.lock ahead of the 2026-10-01 lock gate #32

chore(ci): generate actions.lock ahead of the 2026-10-01 lock gate

chore(ci): generate actions.lock ahead of the 2026-10-01 lock gate #32

Triggered via pull request October 1, 2026 20:50
Status Success
Total duration 7m 50s
Artifacts –

hpc-ci.yml

on: pull_request
Zig FFI Build & Test
5m 58s
Zig FFI Build & Test
Idris2 ABI Proofs
27s
Idris2 ABI Proofs
C ABI Header Verification
4s
C ABI Header Verification
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Idris2 ABI Proofs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Zig FFI Build & Test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: mlugg/setup-zig@d1434d08867e3ee9daa34448df10607b98908d29. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/