Merge pull request #7794 from esteffin/new_cbmc_release-5.87.0 #106

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Get Version Information	10s
Perform Release	14s
	24s