launcher
|
launcher: remove --color=on
|
2023-02-24 12:01:49 +02:00 |
lint
|
shellcheck
|
2022-10-13 12:48:43 +03:00 |
list_toolchains_platforms
|
misc: use /usr/bin/env in scripts
|
2022-07-28 12:44:57 -07:00 |
release
|
misc: use /usr/bin/env in scripts
|
2022-07-28 12:44:57 -07:00 |
test
|
ci/test: show how bad the artifact situation is
|
2023-02-24 12:41:32 +02:00 |