 Juliusz Sosinowicz
|
8f8153220b
Remove trailing whitespace
|
1 year ago |
|
Juliusz Sosinowicz
|
f1a93f524d
Tabs -> spaces
|
1 year ago |
|
Juliusz Sosinowicz
|
4ddc975aca
Expand asyn-check script
|
1 year ago |
|
Juliusz Sosinowicz
|
27794c4b7e
Initial async test with gh action
|
1 year ago |
 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.
|
2 years ago |
 David Garske
|
533f4a5c77
Speedups for the `git clone` calls in check scripts to use `--depth 1`.
|
5 years ago |
|
David Garske
|
cb2f1d6d7d
Added new `async-check.sh` script for setting up the async simulator for internal testing.
|
6 years ago |
