Skip to content
Lint Code Base

propagate dependencies for the buildIdris nix function so that specif… #5984

Sign in to view logs

propagate dependencies for the buildIdris nix function so that specif…

propagate dependencies for the buildIdris nix function so that specif… #5984

Triggered via push March 7, 2024 14:22
@mattpolzinmattpolzin
pushed e518122
main
Status Success
Total duration 2m 5s
Artifacts –

ci-super-linter.yml

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