diff --git a/.github/workflows/cron-ci.yaml b/.github/workflows/cron-ci.yaml index 247565110..8b3561c7c 100644 --- a/.github/workflows/cron-ci.yaml +++ b/.github/workflows/cron-ci.yaml @@ -128,8 +128,8 @@ jobs: [ -f ./_data/whats_left.temp ] && cp ./_data/whats_left.temp ./_data/whats_left_lastrun.temp cp ../whats_left.temp ./_data/whats_left.temp git add -A - git -c user.name="Github Actions" -c user.email="actions@github.com" commit -m "Update what is left results" --author="$GITHUB_ACTOR" - git push + git -c user.name="Github Actions" -c user.email="actions@github.com" commit -m "Update what is left results" --author="$GITHUB_ACTOR" && \ + git push benchmark: name: Collect benchmark data @@ -178,8 +178,8 @@ jobs: rm -rf ./assets/criterion cp -r ../target/criterion ./assets/criterion git add ./assets/criterion - git -c user.name="Github Actions" -c user.email="actions@github.com" commit -m "Update benchmark results" - git push + git -c user.name="Github Actions" -c user.email="actions@github.com" commit -m "Update benchmark results" && \ + git push lalrpop: name: Generate parser with lalrpop