before_script
|
Update arm/aarch CI
|
2021-07-11 13:43:53 +02:00 |
script
|
Speed up 'whereis' subcommand wrt #179
|
2021-07-15 20:01:00 +02:00 |
after_script.sh
|
Windows support
|
2021-06-05 21:01:01 +02:00 |
ghcup_env
|
Update arm/aarch CI
|
2021-07-11 13:43:53 +02:00 |
shell.nix
|
Fix CI
|
2021-07-03 16:51:58 +02:00 |