Skip to content

fix(SafeInput): unblock Idris 2 build after module registration #95

fix(SafeInput): unblock Idris 2 build after module registration

fix(SafeInput): unblock Idris 2 build after module registration #95

Triggered via push May 11, 2026 07:54
Status Failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/boj-build.yml#L12
You have an error in your yaml syntax on line 12