ci: 3rd try to fix release

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

Hide file tree

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

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