Skip to content
Nix CI

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coq = "master")
4m 20s
4m 20s