Skip to content
Back to pull request #119820

instantiate higher ranked goals outside of candidate selection #120244

Sign in to view logs

instantiate higher ranked goals outside of candidate selection

instantiate higher ranked goals outside of candidate selection #120244

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PR - mingw-check
25m 10s
PR - mingw-check-tidy
4m 40s
PR - x86_64-gnu-llvm-17
50m 29s
try - ${{ matrix.name }}
0s
PR - x86_64-gnu-tools
32m 10s
auto - ${{ matrix.name }}
0s
master
0s
bors build finished
0s
bors build finished
0s
bors build finished
0s
bors build finished
0s
1h 52m 29s