Skip to content
OSSF Scorecard

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

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 #270

Triggered via push April 12, 2026 00:32
@hyperpolymathhyperpolymath
pushed 1f58164
main
Status Success
Total duration 32s
Artifacts –

scorecard.yml

on: push
analysis
27s
analysis
Fit to window
Zoom out
Zoom in