Skip to content

Update stale.yml

Update stale.yml #39

Annotations

11 warnings

build (coqorg/coq:8.18)

succeeded Mar 6, 2024 in 7m 22s