Skip to content

fix: segfault in minisat #67

fix: segfault in minisat

fix: segfault in minisat #67

Triggered via pull request April 2, 2024 17:03
Status Failure
Total duration 3m 3s
Artifacts

glucose.yml

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

Annotations

3 errors
Build and test (macos-latest)
Process completed with exit code 101.
Build and test (windows-latest)
The job was canceled because "macos-latest" failed.
Build and test (windows-latest)
The operation was canceled.