Skip to content

Merge pull request #1581 from foxtrotcz/patch-1 #3437

Merge pull request #1581 from foxtrotcz/patch-1

Merge pull request #1581 from foxtrotcz/patch-1 #3437

System (x86_64) (tip, cluster, dir)

succeeded Jan 17, 2025 in 15m 5s
Set up job
1s
Performance tuning
0s
Reclaim some space
17s
Remove docker
21s
Checkout
0s
Run the testsuite
14m 24s
Post Run the testsuite
0s
Post Checkout
0s
Complete job
0s