Skip to content
CodeQL

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

Sign in to view logs

feat: add Idris2 ABI types and Zig FFI bridge

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

Triggered via push March 28, 2026 08:05
@hyperpolymathhyperpolymath
pushed 6a63f76
main
Status Failure
Total duration 32s
Artifacts –

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

1 error
Analyze (rust)
Unable to resolve action `github/codeql-action/init@6624720a57d4c312633c7b953db2f2da5bcb4c3a`, unable to find version `6624720a57d4c312633c7b953db2f2da5bcb4c3a`