Skip to content
Aries

fix(expl): change substance counterexample type [forgotten in prev. c… #517

Sign in to view logs

fix(expl): change substance counterexample type [forgotten in prev. c…

fix(expl): change substance counterexample type [forgotten in prev. c… #517

Triggered via push January 14, 2025 17:05
@nrealusnrealus
pushed b82665a
explainability
Status Failure
Total duration 7m 8s
Artifacts –

aries.yml

on: push
Matrix: build
Unit tests
1m 49s
Unit tests
Rustfmt and Clippy
20s
Rustfmt and Clippy
Solving
2m 41s
Solving
Unified Planning API
55s
Unified Planning API
UP Integration Tests
4m 7s
UP Integration Tests
IPC Tests
6m 56s
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

2 errors
Rustfmt and Clippy
Process completed with exit code 1.
Unit tests
Process completed with exit code 101.