Skip to content

Commit

Permalink
Bump macOS version to 13 in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
daniel-larraz committed Oct 3, 2024
1 parent f5dc8f9 commit ea7eb97
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/kind2-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,9 @@ jobs:
kind2-build:
strategy:
matrix:
os: [ ubuntu-20.04, macos-12, macos-14 ]
os: [ ubuntu-20.04, macos-13, macos-14 ]
include:
- os: macos-12
- os: macos-13
pkg_update: brew update
ocaml-version: 4.09.1
- os: macos-14
Expand Down

0 comments on commit ea7eb97

Please sign in to comment.