diff options
Diffstat (limited to 'coin/platform_configs/precheck.yaml')
| -rw-r--r-- | coin/platform_configs/precheck.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coin/platform_configs/precheck.yaml b/coin/platform_configs/precheck.yaml index 2ad3e463..68d8f9b7 100644 --- a/coin/platform_configs/precheck.yaml +++ b/coin/platform_configs/precheck.yaml @@ -3,6 +3,8 @@ Module only: True Include: [ cmake_platforms.yaml: [ "ubuntu-22.04", + "ubuntu-22.04-documentation", + "ubuntu-22.04-documentation-x11-tests", "windows-10_22h2-msvc2019-developer-build", "ios-universal" ], |