From 8241fb07079edc607664d9537ffbfebabd9de967 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Thu, 26 Oct 2023 22:00:50 +0100 Subject: [PATCH] Drop PLT --- .github/workflows/release.yml | 28 ++++++++++++---------------- 1 file changed, 12 insertions(+), 16 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 63db58f9c36..2bd36567051 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -263,25 +263,21 @@ jobs: JAVA_HOME: ${{ env.JAVA_HOME_17_X64 }} HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK: 1 run: | + # The macOS public runners are prone to flakiness when running this + # test suite, so the PL-tutorial is disabled for now. + # - https://github.com/runtimeverification/k/issues/3705 cd homebrew-k-old brew tap kframework/k "file:///$(pwd)" brew install ${{ needs.macos-build.outputs.bottle_path }} -v - cp -R /usr/local/share/kframework/pl-tutorial ~ - WD=`pwd` - cd - echo 'Starting kserver...' - spawn-kserver $WD/kserver.log - cd pl-tutorial - echo 'Testing tutorial in user environment...' - # The macOS public runners are prone to flakiness when running this - # test suite with high parallelism: - # - https://github.com/runtimeverification/k/issues/3705 - # We know that there are 4 CPUs on macos-13 runners, so rather than - # using them all, we use only 2 to reduce load on the machine. Old - # command: - # make -j`sysctl -n hw.ncpu` ${MAKE_EXTRA_ARGS} - make -j2 ${MAKE_EXTRA_ARGS} - cd ~ + # cp -R /usr/local/share/kframework/pl-tutorial ~ + # WD=`pwd` + # cd + # echo 'Starting kserver...' + # spawn-kserver $WD/kserver.log + # cd pl-tutorial + # echo 'Testing tutorial in user environment...' + # make -j`sysctl -n hw.ncpu` ${MAKE_EXTRA_ARGS} + # cd ~ echo 'module TEST imports BOOL endmodule' > test.k kompile test.k --backend llvm kompile test.k --backend haskell