Skip to content

Merge pull request #146 from motrellin/patch-1 #729

Merge pull request #146 from motrellin/patch-1

Merge pull request #146 from motrellin/patch-1 #729

Annotations

2 warnings

build (coqorg/coq:8.15)

succeeded Sep 17, 2024 in 18m 28s