Update CI to run on fork-based PRs and use proper repo when checking …

…out (#1978)

* Update CI to run on PR and use proper ref

Signed-off-by: Yashodhan Joshi <[email protected]>

* Fetch GITHUB_REF and then checkout GITHUB_SHA

Signed-off-by: Yashodhan Joshi <[email protected]>

---------

Signed-off-by: Yashodhan Joshi <[email protected]>

.github/workflows/docs.yml

@@ -13,7 +13,7 @@ jobs:
     name: Docs website
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v1
         with:

.github/workflows/format.yml

@@ -1,14 +1,17 @@
 name: Format
 
-on: [push]
+on:
+  push: # allow for all branches, so forks can also validate on their own
+  pull_request:
+    branches: [main]
 
 jobs:
   format:
     name: Check Formatting
     runs-on: ubuntu-latest
     steps:
     - name: Checkout
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
     - name: Install stable
       uses: actions-rs/toolchain@v1
       with:
@@ -37,7 +40,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: Fud Formatting check
         uses: psf/black@stable
         with:

.github/workflows/fud2.yml

@@ -2,7 +2,6 @@ name: fud2 tests
 
 on:
   push:
-    branches: [main]
   pull_request:
     branches: [main]
 

.github/workflows/rust.yml

@@ -1,6 +1,9 @@
 name: Test
 
-on: [push]
+on:
+  push:
+  pull_request:
+    branches: [main]
 
 # Ensures that only the latest commit of a PR can execute the actions.
 # Useful for cancelling job when a sequence of commits are quickly added.
@@ -18,7 +21,7 @@ jobs:
       exists: ${{ steps.exists.outputs.exists }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: calyxir/calyx
           ref: ${{ github.sha }}
@@ -83,8 +86,9 @@ jobs:
       working-directory: /home/calyx
       run: |
         git init
-        git remote add origin https://github.com/calyxir/calyx.git
+        git remote add origin https://github.com/${{ github.repository }}.git
         git fetch --all
+        git fetch origin $GITHUB_REF
         git checkout -f $GITHUB_SHA
         git clean -fd
 
@@ -134,8 +138,9 @@ jobs:
       working-directory: /home/calyx
       run: |
         git init
-        git remote add origin https://github.com/calyxir/calyx.git
+        git remote add origin https://github.com/${{ github.repository }}.git
         git fetch --all
+        git fetch origin $GITHUB_REF
         git checkout -f $GITHUB_SHA
         git clean -fd
 
@@ -193,8 +198,9 @@ jobs:
       working-directory: /home/calyx
       run: |
         git init
-        git remote add origin https://github.com/calyxir/calyx.git
+        git remote add origin https://github.com/${{ github.repository }}.git
         git fetch --all
+        git fetch origin $GITHUB_REF
         git checkout -f $GITHUB_SHA
         git clean -fd
 

.github/workflows/verification.yml

@@ -19,7 +19,7 @@ jobs:
     container: ghcr.io/cucapra/calyx:latest
     steps:
     - name: Checkout
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
     - name: Get bwrap for opam
       run: |
         apt-get update -y