Skip to content
Docker CI

Adapt to https://github.com/coq/coq/pull/19530 #183

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #183

Triggered via pull request February 19, 2025 16:53
@palmskogpalmskog
synchronize #149
stdlib_repo
Status Success
Total duration 2m 18s
Artifacts –

docker-action.yml

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