Aries

feat(solver): changed `optimize_with` to use assumption solving #477

Sign in to view logs

Triggered via push December 20, 2024 10:37

nrealus

assumptions

Status Failure

Total duration 9m 13s

Artifacts –

aries.yml

on: push

Matrix: build

Rustfmt and Clippy

Unified Planning API

UP Integration Tests

Python Package (up_aries)

Annotations

1 error

Rustfmt and Clippy

Process completed with exit code 1.