Skip to content
Aries

fix(marco): fix variable mapping between map solver & subset solver #514

Sign in to view logs

fix(marco): fix variable mapping between map solver & subset solver

fix(marco): fix variable mapping between map solver & subset solver #514

Triggered via push January 13, 2025 11:11
@nrealusnrealus
pushed 2629c25
mus-mcs-enumeration
Status Failure
Total duration 7m 9s
Artifacts –

aries.yml

on: push
Matrix: build
Unit tests
1m 0s
Unit tests
Rustfmt and Clippy
14s
Rustfmt and Clippy
Solving
2m 44s
Solving
Unified Planning API
54s
Unified Planning API
UP Integration Tests
3m 46s
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

3 errors
Rustfmt and Clippy
Process completed with exit code 1.
Unit tests
Process completed with exit code 101.
UP Integration Tests
Process completed with exit code 1.