Skip to content
CI

Add a handler to kill a query #4909

Sign in to view logs

Add a handler to kill a query

Add a handler to kill a query #4909

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Basic Checks
18m 43s
Release builds and tests
11m 6s
sanitize (address)
17m 45s
Slow tests
12m 23s
sanitize (address, multi-threading)
16m 4s
Additional Builds and Concurrency Tests
12m 49s
sanitize (leak)
7m 46s
sanitize (leak, multi-threading)
6m 28s
Measure coverage
14m 1s
miri
2m 52s
1h 59m 57s