From: infogulch Date: Wed, 4 Oct 2023 01:51:50 +0000 (-0500) Subject: Pin logtalk to version before scryer support was removed X-Git-Tag: remove~53^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c070fbec62d0104f66a407d90217e964d57cf250;p=scryer-prolog.git Pin logtalk to version before scryer support was removed --- 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.