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: fail on error
|
2022-11-29 14:23:45 +02:00 |