Skip to content
Aries

fix(unsat cores): change test to not extract an unsat core from a con… #503

Sign in to view logs

fix(unsat cores): change test to not extract an unsat core from a con…

fix(unsat cores): change test to not extract an unsat core from a con… #503

Triggered via push January 8, 2025 17:32
@nrealusnrealus
pushed c0efeaa
assumptions
Status Success
Total duration 7m 48s
Artifacts –

aries.yml

on: push
Matrix: build
Unit tests
1m 34s
Unit tests
Rustfmt and Clippy
45s
Rustfmt and Clippy
Solving
2m 40s
Solving
Unified Planning API
47s
Unified Planning API
UP Integration Tests
3m 47s
UP Integration Tests
IPC Tests
7m 30s
IPC Tests
Python Package (up_aries)
0s
Python Package (up_aries)
tests
0s
tests
Pre Release
0s
Pre Release
Release
0s
Release
Fit to window
Zoom out
Zoom in

Annotations

1 warning
tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636