diff options
author | onqtam <vik.kirilov@gmail.com> | 2020-05-17 20:36:36 +0300 |
---|---|---|
committer | onqtam <vik.kirilov@gmail.com> | 2020-05-17 21:22:58 +0300 |
commit | 154463443246e20761ea1aabfdf9c9a8d10b6f8e (patch) | |
tree | a236958c3d158722bd5a607342265d4534958a00 /.github | |
parent | f70d7e164ed38e727cccd0db1f46fc875e79008a (diff) |
see the comment in the change for context
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 262cb748..0549cc39 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -161,9 +161,13 @@ jobs: os: windows-2016 compiler: gcc + # this one fails like this: https://github.com/onqtam/doctest/runs/683076654 + # #error Despite the presence of some Clang-related bits, this header currently does not support Clang. + # perhaps _SILENCE_CLANG_CONCEPTS_MESSAGE could be used, as indicated in the error message... - name: windows-2019-clang-cl os: windows-2019 compiler: clang-cl + continue-on-error: true - name: windows-2019-clang os: windows-2019 |