Skip to content
Lint the sources

Improve buildIdris and expose the idris2-api via the Nix flake. (… #5858

Sign in to view logs

Improve buildIdris and expose the idris2-api via the Nix flake. (…

Improve buildIdris and expose the idris2-api via the Nix flake. (… #5858

Triggered via push January 5, 2024 21:59
@mattpolzinmattpolzin
pushed 8746f16
main
Status Success
Total duration 15s
Artifacts –

ci-lint.yml

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