Lint

[ fix ] Pass `IDRIS2_PREFIX` in `idris2-exec` #64

Sign in to view logs

Triggered via push November 2, 2025 11:52

spcfox

bootstrap-stage-3

Status Success

Total duration 1m 34s

Artifacts –

ci-super-linter.yml

on: push