From d9a0bc1f5ff74ca5bd093e80aa5c3bd79a24611f Mon Sep 17 00:00:00 2001
From: Juri Dispan <juri.dispan@uni-ulm.de>
Date: Mon, 29 Jan 2024 10:51:10 +0100
Subject: [PATCH] GH actionf for ABY and CBMC-GC

---
 .github/workflows/test-aby.yml     | 26 ++++++++++++++++++++++++++
 .github/workflows/test-cbmc-gc.yml | 26 ++++++++++++++++++++++++++
 2 files changed, 52 insertions(+)
 create mode 100644 .github/workflows/test-aby.yml
 create mode 100644 .github/workflows/test-cbmc-gc.yml

diff --git a/.github/workflows/test-aby.yml b/.github/workflows/test-aby.yml
new file mode 100644
index 0000000..22e2611
--- /dev/null
+++ b/.github/workflows/test-aby.yml
@@ -0,0 +1,26 @@
+name: Build and test the Docker container for ABY
+
+on:
+  push:
+    branches: [ master ]
+    paths:
+      - aby/*
+  pull_request:
+    branches: [ master ]
+
+jobs:
+    build:
+        name: Build container for ABY
+        runs-on: ubuntu-latest
+        steps:
+          - name: Check out the repo
+            uses: actions/checkout@v3
+          - uses: docker/setup-buildx-action@v2
+          - uses: docker/build-push-action@v4
+            with:
+              context: aby
+              tags: aby
+              load: true
+              cache-from: type=gha
+              cache-to: type=gha,mode=max
+              push: false
diff --git a/.github/workflows/test-cbmc-gc.yml b/.github/workflows/test-cbmc-gc.yml
new file mode 100644
index 0000000..1220237
--- /dev/null
+++ b/.github/workflows/test-cbmc-gc.yml
@@ -0,0 +1,26 @@
+name: Build and test the Docker container for CBMC-GC
+
+on:
+  push:
+    branches: [ master ]
+    paths:
+      - cbmc-gc/*
+  pull_request:
+    branches: [ master ]
+
+jobs:
+    build:
+        name: Build container for cbmc-gc
+        runs-on: ubuntu-latest
+        steps:
+          - name: Check out the repo
+            uses: actions/checkout@v3
+          - uses: docker/setup-buildx-action@v2
+          - uses: docker/build-push-action@v4
+            with:
+              context: cbmc-gc
+              tags: cbmc-gc
+              load: true
+              cache-from: type=gha
+              cache-to: type=gha,mode=max
+              push: false