CI

Add := operator for Boolean satisfiability problems (#3530) #4080

Sign in to view logs

Triggered via push October 15, 2023 21:21

odow

master

Status Failure

Total duration 23m 1s

Artifacts –

ci.yml

on: push

Matrix: test

Annotations

1 error

Julia nightly - ubuntu-latest - x64 - push

Process completed with exit code 1.