Skip to content
Receive Pull Request

Updated times and added bits that were missing. Also re-extracted code. #15

Sign in to view logs

Updated times and added bits that were missing. Also re-extracted code.

Updated times and added bits that were missing. Also re-extracted code. #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Record PR number
8s
Build markdown source files if valid
1m 12s
1m 20s