diff --git a/.github/actions/run-tests-archlinux/entrypoint.sh b/.github/actions/run-tests-archlinux/entrypoint.sh index 0c8e044..2f0bbf7 100755 --- a/.github/actions/run-tests-archlinux/entrypoint.sh +++ b/.github/actions/run-tests-archlinux/entrypoint.sh @@ -16,6 +16,12 @@ cmake --build --preset release --target test-all cmake --build --preset release --target install -cd example || exit +cd example + cmake --preset release -cmake --build --preset release --target ctbench-graph-all +cmake --preset release-clang +cmake --preset release-clang-tt + +cmake --build --preset release +cmake --build --preset release-clang +cmake --build --preset release-clang-tt diff --git a/.github/actions/run-tests-ubuntu/entrypoint.sh b/.github/actions/run-tests-ubuntu/entrypoint.sh index d1d814f..8721071 100755 --- a/.github/actions/run-tests-ubuntu/entrypoint.sh +++ b/.github/actions/run-tests-ubuntu/entrypoint.sh @@ -16,7 +16,13 @@ cmake --build --preset release --target test-all cmake --build --preset release --target install -cd example || exit +cd example + cmake --preset release -cmake --build --preset release --target ctbench-graph-all +cmake --preset release-clang +cmake --preset release-clang-tt + +cmake --build --preset release +cmake --build --preset release-clang +cmake --build --preset release-clang-tt