Skip to content

Commit 317a489

Browse files
kit-ty-katekit-ty-kate
authored
Windows CI: Increase solver timeout
1 parent 175a8ca commit 317a489

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎.github/workflows/windows.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ on:
66
pull_request:
77
env:
88
OPAMROOT: D:\opamroot
9+
OPAMSOLVERTIMEOUT: 120
910
jobs:
1011
build:
1112
strategy:

0 commit comments

Comments
 (0)