Aries

ci(solver): run tests with different width in CI #490

Sign in to view logs

Triggered via push January 6, 2025 16:47

arbimo

feat/int-type-features

Status Failure

Total duration 7m 0s

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 101.