Skip to content
Lint the sources

make buildIdris nix function still work when there are more than one … #6468

Sign in to view logs

make buildIdris nix function still work when there are more than one …

make buildIdris nix function still work when there are more than one … #6468

Triggered via push September 14, 2024 23:42
@mattpolzinmattpolzin
pushed 6d02c52
main
Status Success
Total duration 12s
Artifacts –

ci-lint.yml

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