Skip to content
CI

Avoid joining with '' when coqpath is empty (#241) #2163

Sign in to view logs

Avoid joining with '' when coqpath is empty (#241)

Avoid joining with '' when coqpath is empty (#241) #2163

Annotations

1 warning

docker-build (8.10, default, local)

docker-build (8.10, default, local)
succeeded Dec 8, 2024 in 17m 22s