 Andras Fekete
|
971df19c5c
Missing fix
|
1 سال پیش |
|
Andras Fekete
|
6cb1aef836
Clean up old comments
|
1 سال پیش |
|
Andras Fekete
|
f9e5e4d08a
Clean up the 'async-check.sh' script
|
1 سال پیش |
 Juliusz Sosinowicz
|
9ca1738b7a
Fix newlines in async script
|
1 سال پیش |
|
Juliusz Sosinowicz
|
8f8153220b
Remove trailing whitespace
|
1 سال پیش |
|
Juliusz Sosinowicz
|
f1a93f524d
Tabs -> spaces
|
1 سال پیش |
|
Juliusz Sosinowicz
|
4ddc975aca
Expand asyn-check script
|
1 سال پیش |
|
Juliusz Sosinowicz
|
27794c4b7e
Initial async test with gh action
|
1 سال پیش |
 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 سال پیش |
 David Garske
|
533f4a5c77
Speedups for the `git clone` calls in check scripts to use `--depth 1`.
|
6 سال پیش |
|
David Garske
|
cb2f1d6d7d
Added new `async-check.sh` script for setting up the async simulator for internal testing.
|
6 سال پیش |
