Skip to content

Commit

Permalink
Fix an error in ci
Browse files Browse the repository at this point in the history
  • Loading branch information
TheVeryDarkness committed Oct 18, 2023
1 parent d4d3164 commit a31eb7f
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@ jobs:
strategy:
matrix:
build: [linux, macos, windows]
config:
include:
- os: ubuntu-latest
vcpkg_triplet: x64-linux
- os: macos-latest
Expand All @@ -124,8 +124,8 @@ jobs:
id: vcpkg
with:
pkgs: z3
triplet: ${{ matrix.config.vcpkg_triplet }}
cache-key: ${{ matrix.config.os }}
triplet: ${{ matrix.vcpkg_triplet }}
cache-key: ${{ matrix.os }}
revision: master
token: ${{ github.token }}
- name: Build `z3-sys` and `z3` with vcpkg installed Z3
Expand Down

0 comments on commit a31eb7f

Please sign in to comment.