Skip to content

Bootstrapping

Bootstrapping #702

Annotations

1 error and 4 warnings

ubuntu-clingo-sources

failed Dec 22, 2024 in 1m 19s
Set up job
0s
Initialize containers
2s
Install dependencies
21s
Checkout
5s
Setup non-root user
0s
Setup repo
45s
Bootstrap clingo
0s
Post Checkout
0s
Stop containers
1s
Complete job
0s