Skip to content

Bump etc/coq-scripts from 5876e80 to 857071d #54

Bump etc/coq-scripts from 5876e80 to 857071d

Bump etc/coq-scripts from 5876e80 to 857071d #54

Triggered via pull request April 17, 2024 15:28
Status Success
Total duration 1h 27m 5s
Artifacts

coq-alpine.yml

on: pull_request
Matrix: build
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in