Centos7 CI (push and/or release)

Merge branch 'develop' into feature/final-reservoir-level-cr25 #2473

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	2m 8s
Publish assets	0s
	2m 8s