mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-22 19:41:22 +03:00
Re-enable tests on Windows
Still leaves out RPC tests. We don't expect them to work on Windows anytime soon.
This commit is contained in:
parent
30af0baf55
commit
4bd711bca1
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
@ -214,7 +214,7 @@ jobs:
|
||||
matrix:
|
||||
suite: [test-lib]
|
||||
target: ${{ fromJson(needs.build.outputs.test-lib-json) }}
|
||||
os: [ubuntu-latest, macos-latest] # , windows-latest]
|
||||
os: [ubuntu-latest, macos-latest, windows-latest]
|
||||
continue-on-error: [false]
|
||||
include:
|
||||
- suite: rpc
|
||||
|
Loading…
Reference in New Issue
Block a user