Skip to content
Haskell CI

add flag for testing different SAT solvers (#14) #32

Sign in to view logs

add flag for testing different SAT solvers (#14)

add flag for testing different SAT solvers (#14) #32

Triggered via push January 19, 2024 17:13
@marcellussiegburgmarcellussiegburg
pushed 86a1ad4
master
Status Failure
Total duration 1m 3s
Artifacts –

haskell.yaml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

43 errors
build (ubuntu-latest, lts-22.6, test-different-solvers)
Process completed with exit code 1.
build (macOS-latest, nightly, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (macOS-latest, lts-22.6, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, nightly, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, nightly, test-different-solvers)
The operation was canceled.
build (windows-latest, lts-22.6, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-22.6, test-different-solvers)
The operation was canceled.
build (macOS-latest, lts-20.26, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (macOS-latest, lts-20.26, test-different-solvers)
The operation was canceled.
build (macOS-latest, lts-21.25, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (macOS-latest, lts-21.25, test-different-solvers)
The operation was canceled.
build (ubuntu-latest, lts-16.31, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, lts-16.31, test-different-solvers)
The operation was canceled.
build (macOS-latest, lts-18.28, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (macOS-latest, lts-18.28, test-different-solvers)
The operation was canceled.
build (macOS-latest, lts-19.33, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (macOS-latest, lts-19.33, test-different-solvers)
The operation was canceled.
build (windows-latest, lts-16.31, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-16.31, test-different-solvers)
The operation was canceled.
build (windows-latest, lts-19.33, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-19.33, test-different-solvers)
The operation was canceled.
build (macOS-latest, lts-21.25, -test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (macOS-latest, lts-21.25, -test-different-solvers)
The operation was canceled.
build (windows-latest, lts-21.25, -test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-21.25, -test-different-solvers)
The operation was canceled.
build (windows-latest, lts-18.28, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-18.28, test-different-solvers)
The operation was canceled.
build (windows-latest, lts-21.25, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-21.25, test-different-solvers)
The operation was canceled.
build (windows-latest, nightly, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, nightly, test-different-solvers)
The operation was canceled.
build (windows-latest, lts-20.26, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (windows-latest, lts-20.26, test-different-solvers)
The operation was canceled.
build (ubuntu-latest, lts-20.26, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, lts-20.26, test-different-solvers)
The operation was canceled.
build (ubuntu-latest, lts-19.33, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, lts-19.33, test-different-solvers)
The operation was canceled.
build (ubuntu-latest, lts-21.25, -test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, lts-21.25, -test-different-solvers)
The operation was canceled.
build (ubuntu-latest, lts-18.28, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, lts-18.28, test-different-solvers)
The operation was canceled.
build (ubuntu-latest, lts-21.25, test-different-solvers)
The job was canceled because "ubuntu-latest_lts-22_6_te" failed.
build (ubuntu-latest, lts-21.25, test-different-solvers)
The operation was canceled.