Skip to content

update boilerplate for 8.20 and beyond #6

update boilerplate for 8.20 and beyond

update boilerplate for 8.20 and beyond #6

Annotations

1 warning

build (coqorg/coq:8.20)

succeeded Jan 3, 2025 in 2m 48s