Skip to content
CI

Properly handle interrupts in python main thread #107

Sign in to view logs

Properly handle interrupts in python main thread

Properly handle interrupts in python main thread #107

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-latest / GHC 9.12.2 / 3.12 /
6m 11s
ubuntu-latest / GHC 9.10.2 / 3.14 /
5m 47s
ubuntu-latest / GHC 9.10.2 / 3.12 /
5m 50s
ubuntu-latest / GHC 9.10.2 / 3.12 / -fpython3-config
5m 51s
ubuntu-latest / GHC 9.10.2 / 3.11 /
5m 50s
ubuntu-latest / GHC 9.10.2 / 3.12 /
5m 57s
ubuntu-latest / GHC 9.6.6 / 3.12 /
5m 32s
ubuntu-latest / GHC 9.8.4 / 3.12 /
5m 37s
ubuntu-latest / GHC 9.10.2 / 3.13 /
6m 12s
ubuntu-latest / GHC 9.14.1 / 3.12 /
4m 32s
ubuntu-latest / GHC 9.4.8 / 3.12 /
5m 54s
ubuntu-latest / GHC 9.10.2 / 3.10 /
6m 4s
1h 9m 17s