Skip to content
BoJ Server Build Trigger

feat(zig-api): initial implementation — Idris2 ABI + Zig FFI replacin… #52

Sign in to view logs

feat(zig-api): initial implementation — Idris2 ABI + Zig FFI replacin…

feat(zig-api): initial implementation — Idris2 ABI + Zig FFI replacin… #52

Run time

Learn about OS pricing on GitHub Actions
Job Run time
trigger-boj
5s
5s