mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Fix allowed test failure on Windows (#1232)
This disables RPC tests on Windows. They seem to hang instead of failing at the moment, so until we get them working it seems like it's better to just leave them out.
This commit is contained in:
parent
ddde44c90c
commit
02aa44114e
10
.github/workflows/ci.yml
vendored
10
.github/workflows/ci.yml
vendored
@ -197,7 +197,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
|
||||
@ -208,10 +208,10 @@ jobs:
|
||||
target: ''
|
||||
os: macos-latest
|
||||
continue-on-error: false
|
||||
- suite: rpc
|
||||
target: ''
|
||||
os: windows
|
||||
continue-on-error: true # TODO: get Python client to work on Windows
|
||||
#- suite: rpc
|
||||
# target: ''
|
||||
# os: windows-latest
|
||||
# continue-on-error: true # TODO: get Python client to work on Windows
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
with:
|
||||
|
Loading…
Reference in New Issue
Block a user