Skip to content
Lint

[ fix ] Pass prefix to idris2-exec #58

Sign in to view logs

[ fix ] Pass prefix to idris2-exec

[ fix ] Pass prefix to idris2-exec #58

Triggered via push November 2, 2025 09:15
@spcfoxspcfox
pushed c09c20c
bootstrap-stage-3
Status Success
Total duration 1m 26s
Artifacts –

ci-super-linter.yml

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