Sylvestre Ledru d72a135b42 improve the publish script

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

Fix need for ssh keys

2021-10-09 23:01:05 -05:00

compare_gnu_result.py

Make scripts executable

2021-08-28 02:26:01 +02: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

docs ~ spell-check repairs and addition of exceptions

2020-05-30 01:36:02 -05:00

update-version.sh

Prepare version 0.0.8

2021-10-23 19:21:50 +02:00