7 Commits (e53453a7eda80d9b77351d9aead6e82d95d8f530)

Author	SHA1	Message	Date
Juliusz Sosinowicz	8f8153220b	Remove trailing whitespace	2023-03-31 13:29:42 +02:00
Juliusz Sosinowicz	f1a93f524d	Tabs -> spaces	2023-03-31 11:51:49 +02:00
Juliusz Sosinowicz	4ddc975aca	Expand asyn-check script	2023-03-31 11:25:46 +02:00
Juliusz Sosinowicz	27794c4b7e	Initial async test with gh action	2023-03-30 19:33:54 +02:00
Daniel Pouzzner	abfc788389	script cleanup: use #!/bin/bash on all scripts that use "echo -e" (/bin/sh is sometimes a non-Bourne/non-POSIX shell, e.g. dash/ash, with no support for "echo -e"); fix whitespace.	2022-03-09 12:28:22 -06:00
David Garske	533f4a5c77	Speedups for the `git clone` calls in check scripts to use `--depth 1`. ... ``` BEFORE CHANGE: time ./fips-check.sh windows keep Receiving objects: 100% (18408/18408), 12.61 MiB | 625.00 KiB/s, done. Receiving objects: 100% (7045/7045), 110.48 MiB | 488.00 KiB/s, done. real 5m4.604s user 1m38.039s sys 0m25.984s AFTER CHANGE: time ./fips-check.sh windows keep Receiving objects: 100% (642/642), 1.02 MiB | 1.26 MiB/s, done. Receiving objects: 100% (767/767), 24.15 MiB | 487.00 KiB/s, done. real 1m43.194s user 1m34.100s sys 0m24.046s ```	2018-11-09 09:36:41 -08:00
David Garske	cb2f1d6d7d	Added new `async-check.sh` script for setting up the async simulator for internal testing.	2018-05-11 16:38:24 +02:00