mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Update Windows.yml
This commit is contained in:
parent
0dc851132e
commit
9e3a489a6c
4
.github/workflows/Windows.yml
vendored
4
.github/workflows/Windows.yml
vendored
|
@ -1,9 +1,9 @@
|
|||
name: Windows
|
||||
on:
|
||||
push:
|
||||
branches: [ main ]
|
||||
branches: [ master ]
|
||||
pull_request:
|
||||
branches: [ main ]
|
||||
branches: [ master ]
|
||||
jobs:
|
||||
build:
|
||||
runs-on: windows-latest
|
||||
|
|
Loading…
Reference in a new issue