fix other commit commands for cron ci
@@ -128,7 +128,7 @@ 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 -c user.name="Github Actions" -c user.email="actions@github.com" commit -m "Update what is left results" --author="$GITHUB_ACTOR" && \
git push
benchmark:
@@ -178,7 +178,7 @@ 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 -c user.name="Github Actions" -c user.email="actions@github.com" commit -m "Update benchmark results" && \
git push
lalrpop:
