Skip to content
Aries

feat(solver): change optimize_with to use assumption solving #480

Sign in to view logs

feat(solver): change optimize_with to use assumption solving

feat(solver): change optimize_with to use assumption solving #480

Run time

Learn about OS pricing on GitHub Actions
Job Run time
IPC Tests
8m 7s
IPC Tests
8m 7s
Build - ${{ matrix.os }} - ${{ matrix.target }}
0s
Build - ${{ matrix.os }} - ${{ matrix.target }}
0s
Solving
2m 43s
Solving
2m 43s
Rustfmt and Clippy
14s
Rustfmt and Clippy
14s
Unified Planning API
41s
Unified Planning API
41s
UP Integration Tests
3m 45s
UP Integration Tests
3m 45s
Unit tests
1m 52s
Unit tests
1m 52s
Python Package (up_aries)
0s
Python Package (up_aries)
0s
tests
0s
tests
0s
Pre Release
0s
Pre Release
0s
Release
0s
Release
0s
34m 44s