From 114286dedecf107359831dea3b6e3cc90853aae3 Mon Sep 17 00:00:00 2001
From: "E. Lee" <leee@users.noreply.github.com>
Date: Mon, 11 Dec 2023 09:39:50 -0500
Subject: [PATCH] Migrate to GitHub Actions from CircleCI

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 0000000..c5b1dfe
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,24 @@
+---
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  vanilla:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - run: sudo apt-get update && sudo apt-get install -y make build-essential
+      - run: make vanilla
+  reproducibility:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - run: sudo apt-get update && sudo apt-get install -y make build-essential reprotest
+      - run: make reprotest
+  reproducibility-securedrop:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - run: sudo apt-get update && sudo apt-get install -y make build-essential reprotest
+      - run: make reprotest-sd