Skip to content
.github/workflows/test.yml

Implements SAT solver #1698

Sign in to view logs

Implements SAT solver

Implements SAT solver #1698

Triggered via pull request March 5, 2024 08:40
@jmgomezjmgomez
reopened #1189
jmgomez:satsolver
Status Failure
Total duration 16m 10s
Artifacts –

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

5 errors
ubuntu-latest - devel
Process completed with exit code 1.
windows-latest - devel
The job was canceled because "ubuntu-latest_devel" failed.
windows-latest - devel
The operation was canceled.
macos-latest - devel
The job was canceled because "ubuntu-latest_devel" failed.
macos-latest - devel
The operation was canceled.