Skip to content

Merge pull request #9 from mit-plv/JasonGross-patch-1 #138

Merge pull request #9 from mit-plv/JasonGross-patch-1

Merge pull request #9 from mit-plv/JasonGross-patch-1 #138

Triggered via push September 18, 2024 08:22
Status Cancelled
Total duration 24m 58s
Artifacts

coq.yml

on: push
Matrix: build
docker-check-all
0s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

18 errors
docker-dev-native
The run was canceled by @JasonGross.
docker-8.19-native
The run was canceled by @JasonGross.
docker-8.18-native
The run was canceled by @JasonGross.
docker-8.18-native
The operation was canceled.
docker-8.14
The run was canceled by @JasonGross.
docker-8.14
The operation was canceled.
docker-8.15
The run was canceled by @JasonGross.
docker-8.15
The operation was canceled.
docker-8.16-native
The run was canceled by @JasonGross.
docker-8.16-native
The operation was canceled.
docker-8.17-native
The run was canceled by @JasonGross.
docker-8.17-native
The operation was canceled.
docker-8.13
The run was canceled by @JasonGross.
docker-8.11
The run was canceled by @JasonGross.
docker-8.11
The operation was canceled.
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.