Final report (#1)

.github/workflows/build.yml

@@ -0,0 +1,22 @@
+name: Build
+
+on: [push, pull_request]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Prepare repository
+        uses: actions/checkout@v4
+      - name: Build document
+        uses: xu-cheng/latex-action@v3
+        with:
+          root_file: main.tex
+          post_compile: "if [[ $(grep -ic overfull *.log) != 0 ]]; then echo 'Margin overrun detected; failing...' && exit 1; fi"
+      - name: Store PDF
+        uses: actions/upload-artifact@v4
+        with:
+          name: Output PDF
+          path: ./*.pdf

.gitignore

@@ -0,0 +1,10 @@
+*.aux
+*.bbl
+*.blg
+*.fdb_latexmk
+*.fls
+*.log
+*.out
+*.pdf
+*.synctex.gz
+*.toc

README.md

@@ -0,0 +1,3 @@
+# Salvium review
+
+This repository contains the technical note from a review of aspects of the Salvium protocol performed by [Cypher Stack](https://cypherstack.com/).