RustSAT

Factor out C-API, Python API and solver tests into their own crates #103

Sign in to view logs

Triggered via pull request April 11, 2024 18:38

chrjabs

synchronize #80

refactor/solver-tests

Status Failure

Total duration 1m 58s

Artifacts –

rustsat.yml

on: pull_request

Matrix: Build and test

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.