Files
soci/scripts/ci
Vadim Zeitlin 4119e7d209 Trace shell scripts when using GitHub Actions debug output
This should give more information when rerunning failed actions with
debug output enabled.
2023-12-11 16:46:12 +01:00
..
2021-10-11 21:42:00 +07:00