diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/run-checker-ci.yml | 3 | ||||
-rw-r--r-- | .github/workflows/run-checker-daily.yml | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/.github/workflows/run-checker-ci.yml b/.github/workflows/run-checker-ci.yml index 7a171bff9d..a999492207 100644 --- a/.github/workflows/run-checker-ci.yml +++ b/.github/workflows/run-checker-ci.yml @@ -20,8 +20,7 @@ jobs: no-tests, no-threads, no-tls, -# no-tls1_3 temporarily disabled due to failures to be investigated separately -# no-tls1_3, + no-tls1_3, no-ts, no-ui, ] diff --git a/.github/workflows/run-checker-daily.yml b/.github/workflows/run-checker-daily.yml index c1b0327ae3..e335b87b31 100644 --- a/.github/workflows/run-checker-daily.yml +++ b/.github/workflows/run-checker-daily.yml @@ -50,8 +50,7 @@ jobs: no-egd, no-engine, no-external-tests, -# no-tls1_3 temporarily disabled due to failures to be investigated separately -# no-tls1_3, + no-tls1_3, no-fuzz-afl, no-fuzz-libfuzzer, no-gost, |