Skip to content
Lint the sources

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

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… #6065

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

ci-lint.yml

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