Switch CI to internal runners.

GaloisInc · Dec 7, 2021 · acc93be · acc93be
1 parent 4082fdd
commit acc93be
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,9 +1,15 @@
 name: Proofs
-on: [pull_request]
+on:
+  pull_request:
+    branches:
+      - main
+  push:
+    branches:
+      - main
 
 jobs:
   proofs:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     strategy:
       fail-fast: false
       matrix:
@@ -13,10 +19,16 @@ jobs:
           - proof/correctness_add.saw
           - check
           - proof/bulk_addition.saw
+        timeout-minutes: 600
     steps:
       - uses: actions/checkout@v2
         with:
           submodules: true
+      - run: |
+          curl -fsSL https://get.docker.com -o get-docker.sh
+          sudo sh get-docker.sh
+          sudo curl -L "https://github.com/docker/compose/releases/latest/download/docker-compose-$(uname -s)-$(uname -m)" -o /usr/local/bin/docker-compose
+          sudo chmod +x /usr/local/bin/docker-compose
       - run: docker-compose pull
       - run: docker-compose build
       - run: docker-compose run blst ${{ matrix.proof-target }}