Skip to content
brew test-bot

Merge pull request #8 from diffblue/20230915-cbmc-5.92.0 #62

Sign in to view logs

Merge pull request #8 from diffblue/20230915-cbmc-5.92.0

Merge pull request #8 from diffblue/20230915-cbmc-5.92.0 #62

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-bot (ubuntu-latest)
1m 55s
test-bot (macos-latest)
2m 12s
4m 7s