From d0ae075b7b70e069eb6102645407f22a5951259a Mon Sep 17 00:00:00 2001
From: Maxime Buyse <maxime@cryspen.com>
Date: Wed, 13 Nov 2024 10:25:46 +0100
Subject: [PATCH] Add bertie extraction CI job.

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

diff --git a/.github/workflows/bertie.yml b/.github/workflows/bertie.yml
new file mode 100644
index 000000000..e784813d3
--- /dev/null
+++ b/.github/workflows/bertie.yml
@@ -0,0 +1,36 @@
+name: Extract Bertie
+
+on:
+  pull_request:
+  merge_group:
+  workflow_dispatch:
+  push:
+    branches: [main]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  extract-bertie:
+    if: ${{ github.event_name == 'workflow_dispatch' || github.event_name == 'merge_group' }}
+    runs-on: "ubuntu-latest"
+
+    steps:
+      - name: ⤵ Clone Bertie repository
+        uses: actions/checkout@v4
+        with:
+          repository: cryspen/bertie
+
+      - uses: actions/checkout@v4
+        with:
+          path: hax
+
+      - uses: DeterminateSystems/nix-installer-action@main
+      - uses: DeterminateSystems/magic-nix-cache-action@main
+
+      - name: ⤵ Install hax
+        run: |
+          nix profile install ./hax
+
+      - name: 🏃 Extract fstar
+        run: ./hax-driver.py extract-fstar