Skip to content

Commit

Permalink
ci: Enable vcpkg build on Linux.
Browse files Browse the repository at this point in the history
  • Loading branch information
waywardmonkeys committed Oct 25, 2023
1 parent 28d913e commit 653ebde
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -86,11 +86,11 @@ jobs:
build_with_vcpkg_installed_z3:
strategy:
matrix:
build: [macos, windows] # [linux, macos, windows]
build: [linux, macos, windows]
include:
# - build: linux
# os: ubuntu-latest
# vcpkg_triplet: x64-linux
- build: linux
os: ubuntu-latest
vcpkg_triplet: x64-linux
- build: macos
os: macos-latest
vcpkg_triplet: x64-osx
Expand Down

0 comments on commit 653ebde

Please sign in to comment.