Sylvestre Ledru 8f12b5b7ce Merge pull request #2905 from jfinkels/update-main-branch-name-in-workflows ...

ci: update default branch to "main" in workflows

2022-01-25 14:34:22 +01:00

..

build-code_coverage.BAT

maint/dev ~ improve code coverage scripting

2020-08-16 17:02:19 -05:00

build-code_coverage.sh

Make scripts executable

2021-08-28 02:26:01 +02:00

build-gnu.sh

util: replace all instances of printf

2022-01-23 09:52:25 -05:00

compare_gnu_result.py

ci: update default branch to "main" in workflows

2022-01-21 23:07:16 -05:00

GHA-delete-GNU-workflow-logs.sh

Make scripts executable

2021-08-28 02:26:01 +02:00

publish.sh

improve the publish script

2021-10-24 00:51:27 +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

GNU tests: make script runnable from any directory

2021-08-28 02:26:01 +02:00

show-code_coverage.BAT

maint/dev ~ improve code coverage scripting

2020-08-16 17:02:19 -05:00

show-code_coverage.sh

Make scripts executable

2021-08-28 02:26:01 +02:00

show-utils.BAT

build/dev ~ change show-utils; allow invokation from directories other than repo main

2020-05-30 22:14:46 -05:00

show-utils.sh

build/dev ~ change show-utils; allow invokation from directories other than repo main

2020-05-30 22:14:46 -05: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

Improve the release doc

2022-01-16 19:00:32 +01:00