diff options
author | Patrick Pelissier <Patrick.Pelissier@gmail.com> | 2023-12-23 01:45:39 +0300 |
---|---|---|
committer | Patrick Pelissier <Patrick.Pelissier@gmail.com> | 2023-12-23 01:45:39 +0300 |
commit | fecece19cb52d78edda57b97e08650e884fd2e19 (patch) | |
tree | fc6b78978cdc4845d4dc130cba392d7c604658fe | |
parent | ea640482a7080b09aa12303a8274b55bdbe2234b (diff) |
Add retry for TCC due the random segfault it generates
-rw-r--r-- | .github/workflows/ccpp.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ccpp.yml b/.github/workflows/ccpp.yml index a99d18f..acae5c0 100644 --- a/.github/workflows/ccpp.yml +++ b/.github/workflows/ccpp.yml @@ -64,7 +64,7 @@ jobs: run: make depend - name: make check shell: bash - run: make CC="/tmp/tcc/bin/tcc -std=c99" check + run: make CC="/tmp/tcc/bin/tcc -std=c99" check -j4 || make CC="/tmp/tcc/bin/tcc -std=c99" check -j2 || make CC="/tmp/tcc/bin/tcc -std=c99" check build_linux_sanitize: runs-on: ubuntu-latest |