From 0b1cde800a5d0d0e54ffc6030e802f968d4c4f07 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Mon, 23 Oct 2023 13:19:53 +0100 Subject: [PATCH] Run smoke test in CI --- .github/workflows/test-pr.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index aa4589e39c2..07dc74a5267 100644 --- a/.github/workflows/test-pr.yml +++ b/.github/workflows/test-pr.yml @@ -230,9 +230,11 @@ jobs: - name: 'Build K Framework' run: GC_DONT_GC=1 nix build --print-build-logs . + - name: 'Smoke test K' + run: GC_DONT_GC=1 nix build --print-build-logs .#smoke-test + # These tests take a really long time to run on other platforms, so we # skip them unless we're on the M1 runner. - name: 'Test K' if: ${{ matrix.os == 'self-macos-12' }} run: GC_DONT_GC=1 nix build --print-build-logs .#test -