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