Skip to content

WIP: clause minimization #413

WIP: clause minimization

WIP: clause minimization #413

Triggered via push October 17, 2024 09:01
Status Failure
Total duration 2m 48s
Artifacts

aries.yml

on: push
Matrix: build
Unit tests
34s
Unit tests
Rustfmt and Clippy
32s
Rustfmt and Clippy
Solving
55s
Solving
Unified Planning API
45s
Unified Planning API
UP Integration Tests
2m 37s
UP Integration Tests
Python Package (up_aries)
0s
Python Package (up_aries)
Pre Release
0s
Pre Release
Release
0s
Release
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 5 warnings
Rustfmt and Clippy
Process completed with exit code 101.
Unit tests
Process completed with exit code 101.
Solving
Process completed with exit code 1.
UP Integration Tests
Process completed with exit code 1.
Rustfmt and Clippy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Unit tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Unified Planning API
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Solving
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
UP Integration Tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/