Merge pull request #447 from smorimoto/cleanup #1
gfngfnopam-dependency-submission.yml
on: push
opam-dependency-submission
4m 5s
Annotations
1 error
|
opam-dependency-submission
The process '/opt/hostedtoolcache/opam/2.2.0/x86_64/opam' failed with exit code 20
|