Merge pull request #13 from certik/ci

CI: Run for PRs as well

Author: certik

.github/workflows/deploy.yml

@@ -2,7 +2,13 @@ name: CI
 
 on:
   push:
-    branches: [ "main" ]
+    branches:
+      - main
+    tags:
+      - 'v*'
+  pull_request:
+    branches:
+      - main
 
 jobs:
   build:
@@ -57,7 +63,8 @@ jobs:
       run: |
         git add .
         COMMIT_MESSAGE="Deploying on $(date "+%Y-%m-%d %H:%M:%S")"
-        git commit -m "${COMMIT_MESSAGE}"
+        git commit --allow-empty -m "${COMMIT_MESSAGE}"
 
     - name: GIT Deploy
+      if: ${{ github.ref != 'refs/heads/main' && github.event.pull_request.head.repo.full_name == 'lpython/lpython.org-deploy' }}
       run: git push origin gh-pages