Add := operator for Boolean satisfiability problems #4049
Triggered via pull request
September 28, 2023 22:26
odow
Status
Failure
Total duration
15m 8s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
5 errors
|
Julia 1 - ubuntu-latest - x64 - pull_request
Process completed with exit code 1.
|
|
Julia 1.6 - ubuntu-latest - x86 - pull_request
Process completed with exit code 1.
|
|
Julia 1.6 - ubuntu-latest - x64 - pull_request
Process completed with exit code 1.
|
|
Julia 1 - windows-latest - x64 - pull_request
Process completed with exit code 1.
|
|
Julia nightly - ubuntu-latest - x64 - pull_request
Process completed with exit code 1.
|