lint
|
ci/lint: more verbose output
|
2022-07-28 14:10:11 -07: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: simplify the script even more
|
2022-07-28 14:13:53 -07:00 |