The `working-directory: ${{ github.workspace }}` line was included by
mistake and resulted in this step failing as the command was being
executed in the wrong directory.
Example failure:
https://github.com/gem5/gem5/actions/runs/6832831307/job/18593080567