Skip to content
Rust CI

feat: add Idris2 ABI types and Zig FFI bridge #79

Sign in to view logs

feat: add Idris2 ABI types and Zig FFI bridge

feat: add Idris2 ABI types and Zig FFI bridge #79

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check MSRV (1.85.0)
18s
Test
14s
32s