Aries

Merge pull request #137 from plaans/equality-logic #377

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Solving	2m 24s
Unified Planning API	48s
Rustfmt and Clippy	41s
Build - ubuntu-latest - amd64	1m 35s
UP Integration Tests	3m 28s
Unit tests	1m 9s
Build - macos-latest - amd64	1m 53s
Build - macos-latest - arm64	1m 46s
Build - windows-latest - amd64	4m 51s
Build - windows-latest - arm64	4m 45s
tests	1s
Python Package (up_aries)	18s
Pre Release	27s
Release	0s
	24m 6s