Skip to content

Merge pull request #8624 from radarhere/type_hint_spider #8918

Merge pull request #8624 from radarhere/type_hint_spider

Merge pull request #8624 from radarhere/type_hint_spider #8918

Annotations

1 warning

amazon-2023-amd64

succeeded Dec 26, 2024 in 2m 57s
Set up job
1s
Run actions/checkout@v4
2s
Build system information
0s
Set up QEMU
0s
Docker pull
44s
Docker build
1m 50s
After success
13s
Upload coverage
3s
Post Run actions/checkout@v4
0s
Complete job
0s