build with S2E

Update sksat/action-clippy action to v1.1.1 #1768

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Windows VS2022 (mobc)	2m 28s
Build on Windows VS2022 (subobc)	3m 14s
	5m 42s