Skip to content

Bump etc/coq-scripts from 8b66ebe to 3e0523e #194

Bump etc/coq-scripts from 8b66ebe to 3e0523e

Bump etc/coq-scripts from 8b66ebe to 3e0523e #194

Triggered via pull request October 6, 2023 20:15
Status Cancelled
Total duration 8m 53s
Artifacts

coq.yml

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

Annotations

10 errors