Skip to content
Hypatia Security Scan

feat(zig-api): fix Idris2 0.8 syntax — all 7 ABI modules typecheck clean #232

Sign in to view logs

feat(zig-api): fix Idris2 0.8 syntax — all 7 ABI modules typecheck clean

feat(zig-api): fix Idris2 0.8 syntax — all 7 ABI modules typecheck clean #232

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Hypatia Neurosymbolic Analysis
6s
6s