Abstraction refinement of ReadWord #1981
Triggered via pull request
September 4, 2023 11:48
msooseth
Status
Failure
Total duration
23m 37s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build.yml
on: pull_request
build (windows-latest)
10m 22s
cabal-check
3m 10s
Matrix: extra-tests
Matrix: nix-build
Annotations
3 errors
|
nix-build (ubuntu-latest)
Process completed with exit code 1.
|
|
extra-tests (ubuntu-latest)
Process completed with exit code 1.
|
|
nix-build (macos-latest)
Process completed with exit code 1.
|