From 0b4280261d9ec342b6eb6c0fc79466ffe20c92c6 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Thu, 14 Nov 2024 15:51:58 -0700
Subject: [PATCH] new file:   .github/workflows/kontrol-remote-compute.yaml -
 Introducing kaas latest implementation and CLI utilization using an  
 upgraded backend. - Improves storage utilization - Reduce KCFG sizes -
 Execution simplicity - Reproducability in execution - A web interface with
 KCFG visualization / History tracking / Report   generation / Remote Compute
 Execution

---
 .github/workflows/kontrol-remote-compute.yaml | 39 +++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 .github/workflows/kontrol-remote-compute.yaml

diff --git a/.github/workflows/kontrol-remote-compute.yaml b/.github/workflows/kontrol-remote-compute.yaml
new file mode 100644
index 000000000000..b011f8a88ae6
--- /dev/null
+++ b/.github/workflows/kontrol-remote-compute.yaml
@@ -0,0 +1,39 @@
+---
+  name: 'Proof Runner'
+  on:
+    workflow_dispatch:
+      inputs:
+        branch_name:
+          description: 'Branch Name of Specific Code to Test'
+          required: true
+    # pull_request:
+    #   branches:
+    #     - main
+
+  # Stop in progress workflows on the same branch and same workflow to use latest committed code
+  concurrency:
+    group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event.inputs.branch_name }}
+    cancel-in-progress: false
+
+  jobs:
+    test-proofs:
+      name: 'Test Proofs'
+      runs-on: [self-hosted, linux, kaas]
+      environment: "runtimeverification/proof-runner"
+      steps:
+        - name: 'Check out code'
+          uses: actions/checkout@v4
+          with:
+            fetch-depth: 0
+
+        - name: "Install KaaS"
+          uses: runtimeverification/install-kaas@v0.2.1
+          with:
+            github-token: ${{ secrets.GITHUB_TOKEN }}
+
+        - name: 'Run Kontrol'
+          shell: bash
+          run: |
+            export FOUNDRY_PROFILE=kontrol-properties
+            BRANCH_NAME=${{ github.event.inputs.branch_name || github.ref_name }}
+            kaas-cli run -m remote --watch -t ${{ secrets.KAAS_TOKEN }} --branch "$BRANCH_NAME" -vs runtimeverification/_audits_Ethereum-optimism_pausability