Skip to content
Pull request

Proposal to generate UUIDs using RandomNumberGenerators #6

Sign in to view logs

Proposal to generate UUIDs using RandomNumberGenerators

Proposal to generate UUIDs using RandomNumberGenerators #6

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test / Windows (nightly-main - windows-2019)
19m 53s
Test / Linux (nightly-main - jammy)
10m 49s
Soundness / API breakage check
0s
Soundness / Documentation check
0s
Soundness / Unacceptable language check
0s
Soundness / License headers check
0s
Soundness / Broken symlinks check
3s
Soundness / Format check
0s
Soundness / Shell check
37s
Soundness / YAML lint check
3s
Soundness / Python lint check
4s
31m 29s