Skip to content
brew test-bot

Merge pull request #13 from diffblue/cbmc-6.3.1 #90

Sign in to view logs

Merge pull request #13 from diffblue/cbmc-6.3.1

Merge pull request #13 from diffblue/cbmc-6.3.1 #90

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-bot (ubuntu-latest)
50s
test-bot (macos-latest)
54s
1m 44s