Skip to content
Stable Compilation

PR Labeler: Add more labels, remove the broken negative glob #780

Sign in to view logs

PR Labeler: Add more labels, remove the broken negative glob

PR Labeler: Add more labels, remove the broken negative glob #780

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu:20.04
6m 12s
debian:11
5m 6s
ubuntu:22.04
5m 37s
debian:12
6m 18s
23m 13s