Centos7 CI (push and/or release)

Fix User guide PDF generation (#2476) #3811

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	15m 30s
	15m 30s