Back to pull request #3403

Remove unwind attributes that are no longer needed with CBMC v6 #7478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy-check	3m 9s
format-check	7s
	3m 16s