Merge pull request #9373 from Leonidas-from-XIV/remove-opam-repositor… #55
Annotations
1 error
|
Command 'git' failed with args '-c user.name=github-action-benchmark -c [email protected] -c http.https://github.com/.extraheader= fetch ***github.com/Leonidas-from-XIV/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
|
The logs for this run have expired and are no longer available.
Loading