Skip to content
CI (Coq, docker, dev)

CI: update github-actions-docker-make.sh #3

Sign in to view logs

CI: update github-actions-docker-make.sh

CI: update github-actions-docker-make.sh #3

Triggered via push December 22, 2024 13:50
@samuelgruettersamuelgruetter
pushed 3cc1a35
master
Status Failure
Total duration 2m 7s
Artifacts –

coq-docker.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
master
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636