Fix git config --global #137
Triggered via pull request
September 18, 2024 08:21
JasonGross
Status
Cancelled
Total duration
26m 10s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
docker-check-all
0s
Annotations
12 errors
|
docker-8.15
The run was canceled by @JasonGross.
|
|
docker-8.16-native
The run was canceled by @JasonGross.
|
|
docker-8.14
The run was canceled by @JasonGross.
|
|
docker-dev-native
The run was canceled by @JasonGross.
|
|
docker-8.19-native
The run was canceled by @JasonGross.
|
|
docker-8.17-native
The run was canceled by @JasonGross.
|
|
docker-8.11
The run was canceled by @JasonGross.
|
|
docker-8.13
The run was canceled by @JasonGross.
|
|
docker-8.18-native
The run was canceled by @JasonGross.
|
|
docker-8.12
The run was canceled by @JasonGross.
|
|
docker-8.12
The operation was canceled.
|
|
docker-check-all
Process completed with exit code 1.
|