fix other commit commands for cron ci

This commit is contained in:
Noa
2022-08-24 23:10:17 -05:00
parent 4c6fe4ac22
commit ad88d476a8

View File

@@ -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