From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 16:47:35 +0000 (+0200)
Subject: switch macos to latest as macos-11 has been removed
X-Git-Tag: v0.10.0~127^2~11
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c414f75329477d8ffb8747d7a7e228af8bbdf11b;p=scryer-prolog.git

switch macos to latest as macos-11 has been removed

See https://github.com/actions/runner-images/issues/9255
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0345cdaf..3fc66550 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -39,7 +39,7 @@ jobs:
         include:
           # operating systems
           - { os: windows-latest, rust-version: stable,  target: 'x86_64-pc-windows-msvc',   publish: true }
-          - { os: macos-11,       rust-version: stable,  target: 'x86_64-apple-darwin',      publish: true }
+          - { os: macos-latest,   rust-version: stable,  target: 'x86_64-apple-darwin',      publish: true }
           - { os: ubuntu-20.04,   rust-version: stable,  target: 'x86_64-unknown-linux-gnu', publish: true }
           # architectures
           - { os: ubuntu-22.04,   rust-version: stable,  target: 'x86_64-unknown-linux-gnu', publish: true }