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

Retrying to generate a commit and push to remote gh-pages with retry count 6...

Auto-push failed because the remote gh-pages was updated after git pull

Retrying to generate a commit and push to remote gh-pages with retry count 7...

Auto-push failed because the remote gh-pages was updated after git pull

Retrying to generate a commit and push to remote gh-pages with retry count 8...

Auto-push failed because the remote gh-pages was updated after git pull

Retrying to generate a commit and push to remote gh-pages with retry count 9...

Auto-push failed because the remote gh-pages was updated after git pull

Retrying to generate a commit and push to remote gh-pages with retry count 10...