Run Tests

add new benchmark instances and update benchmark script for fzn-huub #119

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	35s
benchmarks	8m 26s
test (ubuntu-latest)	1m 28s
	10m 29s