.. |
analyze-gnu-results.sh
|
"style: fix/format scripts to meet the shellcheck /shfmt rules"
|
2023-07-17 10:53:44 +08:00 |
android-commands.sh
|
android: try to use nextest again
|
2023-05-06 10:50:04 +02:00 |
build-code_coverage.BAT
|
maint/dev ~ improve code coverage scripting
|
2020-08-16 17:02:19 -05:00 |
build-code_coverage.sh
|
maint/refactor ~ (util) minor refactoring of util shell scripts
|
2022-02-12 15:26:59 -06:00 |
build-gnu.sh
|
gnu: Improve the diff when comparing diff
|
2023-12-24 16:37:43 +01:00 |
compare_gnu_result.py
|
reformat python code with black
|
2022-08-14 12:45:51 +02:00 |
dwr.sh
|
maint/util ~ add dwr (for interactive removal of workflow runs from CLI)
|
2022-02-12 15:26:59 -06:00 |
GHA-delete-GNU-workflow-logs.sh
|
maint/refactor ~ (util) minor refactoring of util shell scripts
|
2022-02-12 15:26:59 -06:00 |
gnu-json-result.py
|
docs: fix tr.pl and stat-printf.pl don't show up in gnu-full-result
|
2023-03-13 15:40:01 +08:00 |
publish.sh
|
publishing: check if the current version is already there or not
|
2023-11-14 21:35:15 +01:00 |
remaining-gnu-error.py
|
remaining-gnu-error.py: split SKIP & ERROR
|
2023-05-15 21:46:07 +02:00 |
rewrite_rules.rs
|
refactor ~ (utils) fix spelling + add spell-checker exceptions
|
2021-05-31 08:23:58 -05:00 |
run-gnu-test.sh
|
run-gnu-test.sh: accept "run-root" as first param
|
2023-09-26 09:33:14 +02:00 |
show-code_coverage.BAT
|
maint/dev ~ improve code coverage scripting
|
2020-08-16 17:02:19 -05:00 |
show-code_coverage.sh
|
maint/refactor ~ (util) minor refactoring of util shell scripts
|
2022-02-12 15:26:59 -06:00 |
show-utils.BAT
|
relpath: remove
|
2023-10-04 16:13:06 +02:00 |
show-utils.sh
|
relpath: remove
|
2023-10-04 16:13:06 +02:00 |
size-experiment.py
|
utils: create a script to explore binary sizes
|
2023-02-26 16:55:53 +01:00 |
test-repo-whitespace.BAT
|
maint/dev ~ update test-repo-whitespace.BAT dev utility
|
2022-01-09 21:34:22 -06:00 |
update-version.sh
|
Prepare version 0.0.23
|
2023-11-13 22:02:01 +01:00 |
why-skip.txt
|
Add "spell-checker:ignore" line
|
2023-05-16 16:10:18 +02:00 |