Skip to content
build

Merge pull request #1720 from peternewman/e1.37-2 #503

Sign in to view logs

Merge pull request #1720 from peternewman/e1.37-2

Merge pull request #1720 from peternewman/e1.37-2 #503

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coverage-debian-stable-amd64-gcc
23m 16s
distcheck-debian-stable-amd64-gcc
20m 11s
distcheck-debian-stable-amd64-clang
19m 44s
Verify trees for distcheck-debian-stable-amd64-gcc
15s
Verify trees for distcheck-debian-stable-amd64-clang
14s
1h 3m 40s