From 482b16a4cf79b753289f8c45344b819ceff496c9 Mon Sep 17 00:00:00 2001
From: gauravpartha <gaurav.parthasarathy@inf.ethz.ch>
Date: Wed, 13 Nov 2024 16:28:39 +0100
Subject: [PATCH 1/2] add CI for GitHub

---
 .github/workflows/ci.yaml | 47 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 .github/workflows/ci.yaml

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
new file mode 100644
index 0000000..fc286b2
--- /dev/null
+++ b/.github/workflows/ci.yaml
@@ -0,0 +1,47 @@
+name: Viper Roots CI
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+  workflow_dispatch:
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+      fail-fast: false
+    runs-on: ${{ matrix.os }}
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: 'true'
+
+      - name: Download and install Isabelle
+        run: |
+          wget --quiet https://isabelle.in.tum.de/website-Isabelle2024/dist/Isabelle2024_linux.tar.gz -O isabelle.tar.gz
+          mkdir -p isabelle
+          tar -xzf isabelle.tar.gz -C isabelle --strip-components=1
+          rm isabelle.tar.gz
+          isabelle/bin/isabelle version
+          echo isabelle/bin >> $GITHUB_PATH
+
+      - name: Setup Isabelle sessions
+        run: |
+          isabelle components -u foundational_boogie/BoogieLang
+          isabelle components -u vipersemcommon
+          isabelle components -u viper-total-heaps
+          isabelle components -u vipersemabstract
+          isabelle components -u viper-abstract-refines-total
+          isabelle components -u simple-frontend
+
+      - name: Check whether Isabelle theories go through successfully
+        # viper-total-heaps/paper-results has viper-total-heaps as a parent session
+        run: |
+          isabelle build -j4 -D viper-total-heaps/paper-results
+          isabelle build -j4 -D vipersemabstract
+          isabelle build -j4 -D viper-abstract-refines-total
+          isabelle build -j4 -D simple-frontend
+          isabelle build -j4 -D main-results

From 79bc513ada9ee522d58cdfcda0da2a52cceff104 Mon Sep 17 00:00:00 2001
From: gauravpartha <gaurav.parthasarathy@inf.ethz.ch>
Date: Wed, 13 Nov 2024 16:29:53 +0100
Subject: [PATCH 2/2] remove CI for GitLab

---
 .gitlab-ci.yml | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 23b2c05..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,26 +0,0 @@
-stages:
-  - build
-
-variables:
-  GIT_SUBMODULE_STRATEGY: recursive
-
-setup_isabelle:
-  stage: build
-  image: python:3.10
-  script:
-    - git submodule update --init --recursive
-    - mkdir -p isabelle
-    - curl -L https://isabelle.in.tum.de/website-Isabelle2024/dist/Isabelle2024_linux.tar.gz -o isabelle.tar.gz
-    - tar -xzf isabelle.tar.gz -C isabelle --strip-components=1
-    - ./isabelle/bin/isabelle components -u foundational_boogie/BoogieLang
-    - ./isabelle/bin/isabelle components -u vipersemcommon
-    - ./isabelle/bin/isabelle components -u viper-total-heaps
-    - ./isabelle/bin/isabelle components -u vipersemabstract
-    - ./isabelle/bin/isabelle components -u viper-abstract-refines-total
-    - ./isabelle/bin/isabelle components -u simple-frontend
-    # paper-results has viper-total-heaps as a parent session
-    - ./isabelle/bin/isabelle build -j4 -D viper-total-heaps/paper-results
-    - ./isabelle/bin/isabelle build -j4 -D vipersemabstract
-    - ./isabelle/bin/isabelle build -j4 -D viper-abstract-refines-total
-    - ./isabelle/bin/isabelle build -j4 -D simple-frontend
-    - ./isabelle/bin/isabelle build -j4 -D main-results