brew test-bot

Merge pull request #15 from diffblue/cbmc-6.4.1 #94

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-bot (ubuntu-latest)	1m 14s
test-bot (macos-latest)	1m 17s
	2m 31s