Aries

Merge pull request #129 from plaans/int-type #357

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Solving	1m 46s
Rustfmt and Clippy	46s
Build - ubuntu-latest - amd64	1m 38s
Unified Planning API	1m 1s
Build - macos-latest - amd64	4m 6s
Build - macos-latest - arm64	2m 31s
UP Integration Tests	3m 13s
Build - windows-latest - amd64	4m 47s
Unit tests	1m 16s
Build - windows-latest - arm64	6m 16s
tests	1s
Python Package (up_aries)	30s
Pre Release	11s
Release	0s
	28m 2s