Skip to content

Update coq-windows.yml #11

Update coq-windows.yml

Update coq-windows.yml #11

debian-sid

succeeded Feb 8, 2025 in 3h 1m 41s