Skip to content
Semver checks

Implemented an interface to BatSat #19

Sign in to view logs

Implemented an interface to BatSat

Implemented an interface to BatSat #19

Re-run triggered July 1, 2024 12:11
@chrjabschrjabs
#84
nfbruns:feat-batsat-solver
Status Failure
Total duration 54s
Artifacts –

semver-checks.yml

on: pull_request
Semver checks
39s
Semver checks
Fit to window
Zoom out
Zoom in

Annotations

1 error
Semver checks
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1