Skip to content
Build Documentation

Add dependencies for "Build Documentation" workflow and run on PR #369

Sign in to view logs

Add dependencies for "Build Documentation" workflow and run on PR

Add dependencies for "Build Documentation" workflow and run on PR #369

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build GMP documentation
26s
Build XML documentation and upload coverage
28s
54s