ci: 2nd try to fix

leanprover-community · Nov 7, 2022 · 9f9ec2f · 9f9ec2f
1 parent e66babe
commit 9f9ec2f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,7 +8,7 @@ on:
       - 'trying.tmp*'
       - 'staging*.tmp'
   schedule:
-    - cron: '0 20 * * *'  # 8PM CET/11AM PT
+    - cron: '0 22 * * *'  # 8PM CET/11AM PT
 
 name: mathport
 

diff --git a/update_ports.sh b/update_ports.sh
@@ -4,6 +4,9 @@ GITHUB_USER=leanprover-community-bot
 
 set -ex
 
+git config user.email "[email protected]"
+git config user.name "leanprover-community-bot"
+
 git clone "https://$GITHUB_USER:$GITHUB_TOKEN@github.com/leanprover-community/lean3port"
 pushd lean3port
 ./update.sh "$TAG"