chore: simplify add and sub (#84) #14
Annotations
1 error and 10 warnings
|
Auto-push failed 3 times since the remote branch gh-pages rejected pushing all the time. Last exception was: Command 'git' failed with args '-c user.name=github-action-benchmark -c [email protected] -c http.https://github.com/.extraheader= push ***github.com/noir-lang/noir_bigcurve.git gh-pages:gh-pages --no-verify': To https://github.com/noir-lang/noir_bigcurve.git
! [rejected] gh-pages -> gh-pages (fetch first)
error: failed to push some refs to 'https://github.com/noir-lang/noir_bigcurve.git'
hint: Updates were rejected because the remote contains work that you do not
hint: have locally. This is usually caused by another repository pushing to
hint: the same ref. If you want to integrate the remote changes, use
hint: 'git pull' before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
: Error: The process '/usr/bin/git' failed with exit code 1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading