Bump version and make master job

Refactor `from_spec_modules` in `APRProof` (#4447) #990

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Performance Tests	45s
Version Bump	15s
	1m 0s