Skip to content

Merge pull request #147 from gares/fix-ssr-have-opacity #22

Merge pull request #147 from gares/fix-ssr-have-opacity

Merge pull request #147 from gares/fix-ssr-have-opacity #22

Annotations

1 warning

build (coqorg/coq:8.17)

succeeded May 17, 2024 in 2m 48s