From d44bd7c22ddc04661e5ec767ef88e9b79a74e4f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Mon, 4 Nov 2024 10:31:45 -0800
Subject: [PATCH] Adding everparse-cbor to check-world

---
 .github/workflows/check-world.yml | 48 +++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)

diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
index 8de9c961457..c236c2b29da 100644
--- a/.github/workflows/check-world.yml
+++ b/.github/workflows/check-world.yml
@@ -758,3 +758,51 @@ jobs:
         run: |
           nix flake update --update-input fstar-flake --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
           nix flake check
+
+  build-cbor:
+    runs-on: ubuntu-latest
+    container: mtzguido/fstar-base-testing
+    needs:
+      - build-fstar
+      - build-krml
+      - build-pulse
+    steps:
+      - name: Cleanup
+        run: find . -delete
+      - run: echo "HOME=/home/opam" >> $GITHUB_ENV
+      - uses: mtzguido/set-opam-env@master
+
+      # Install rust toolchain
+      - uses: dtolnay/rust-toolchain@stable
+
+      - uses: mtzguido/gci-download@master
+        with:
+          name: FStar
+
+      - uses: mtzguido/gci-download@master
+        with:
+          name: karamel
+
+      - uses: mtzguido/gci-download@master
+        with:
+          name: pulse
+
+      - name: Checkout everparse (cbor branch)
+        uses: actions/checkout@master
+        with:
+          path: everparse/
+          ref: taramana_cbor
+          repository: project-everest/everparse
+
+      - name: Build
+        run: |
+          make -C everparse -skj$(nproc)
+
+      - name: Test
+        run: |
+          make -C everparse -skj$(nproc) cbor-det-rust-test
+
+      - uses: mtzguido/gci-upload@master
+        with:
+          name: everparse-cbor
+          path: everparse