Skip to content
Docker CI

[build] Fix use of plugin aliases in findlib loading. #148

Sign in to view logs

[build] Fix use of plugin aliases in findlib loading.

[build] Fix use of plugin aliases in findlib loading. #148

build (coqorg/coq:dev)

build (coqorg/coq:dev)
succeeded May 4, 2024 in 2m 6s