From c070fbec62d0104f66a407d90217e964d57cf250 Mon Sep 17 00:00:00 2001 From: infogulch Date: Tue, 3 Oct 2023 20:51:50 -0500 Subject: [PATCH] Pin logtalk to version before scryer support was removed --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 27b4e9d5..ad9d2598 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -117,6 +117,7 @@ jobs: name: scryer-prolog_unknown_wasm32 logtalk-test: + # if: false # uncomment to disable job runs-on: ubuntu-20.04 needs: [build-test] steps: @@ -130,7 +131,7 @@ jobs: - name: Install Logtalk uses: logtalk-actions/setup-logtalk@master with: - logtalk-version: git + logtalk-version: "3.70.0" logtalk-tool-dependencies: false # Run logtalk tests. -- 2.54.0