Historique des commits

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