Skip to content

Update coq-debian.yml: install file #4420

Update coq-debian.yml: install file

Update coq-debian.yml: install file #4420

Triggered via push June 17, 2024 23:32
Status Success
Total duration 28m 57s
Artifacts

json.yml

on: push
Fit to window
Zoom out
Zoom in