Check Pull Request

Add new benchmarks from Ultimate Automizer's loop acceleration #41

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
basic-checks	10s
check-with-dolmen	0s
	10s