Skip to content
Test

update flake inputs. run formatter. move shell completion generation … #1369

Sign in to view logs

update flake inputs. run formatter. move shell completion generation …

update flake inputs. run formatter. move shell completion generation … #1369

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nightly-idris
1m 51s
stable-idris
1m 37s
3m 28s