The error is Error: 'auto-push' is enabled but 'github-token' is not set. Please give API token to push GitHub pages branch to remote. This wasn't present when the benchmark was in its dedicated file.
The proposal is to move the modified benchmark pipeline back to its original file.
There is an issue with accessing
github-token
frommail.yml
, see https://github.com/sysprog21/rv32emu/actions/runs/9873045064/job/27264462124?pr=467.The error is
Error: 'auto-push' is enabled but 'github-token' is not set. Please give API token to push GitHub pages branch to remote
. This wasn't present when the benchmark was in its dedicated file.The proposal is to move the modified benchmark pipeline back to its original file.