Skip to content
Lint

[ fix ] Pass PREFIX to idris2-exec #62

Sign in to view logs

[ fix ] Pass PREFIX to idris2-exec

[ fix ] Pass PREFIX to idris2-exec #62

Triggered via push November 2, 2025 11:44
@spcfoxspcfox
pushed f26fd5d
bootstrap-stage-3
Status Success
Total duration 1m 27s
Artifacts –

ci-super-linter.yml

on: push
Lint Code Base
1m 24s
Lint Code Base
Fit to window
Zoom out
Zoom in