Skip to content
Lint the sources

Export Idris.Package.build and Idris.Package.check; enhance path norm… #6586

Sign in to view logs

Export Idris.Package.build and Idris.Package.check; enhance path norm…

Export Idris.Package.build and Idris.Package.check; enhance path norm… #6586

Triggered via push November 29, 2024 16:42
@Z-snailsZ-snails
pushed 33c97f9
main
Status Success
Total duration 14s
Artifacts –

ci-lint.yml

on: push
build
4s
build
Fit to window
Zoom out
Zoom in