fix: redirect deprecated libraries resolution to the public lib DB (#… #14
anmonteiroAnnotations
1 error
|
Build (ubuntu-latest, 4.14.x)
Command 'git' failed with args '-c user.name=github-action-benchmark -c [email protected] -c http.https://github.com/.extraheader= fetch ***github.com/anmonteiro/dune.git gh-pages:gh-pages': fatal: couldn't find remote ref gh-pages
: Error: The process '/usr/bin/git' failed with exit code 128
|