Disable --safe flag

rahulc29 · Dec 12, 2023 · 953d145 · 953d145
1 parent 0aeeaff
commit 953d145
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -13,6 +13,7 @@ jobs:
       with:
         main-file: index.agda
         source-dir: src
+	unsafe: true
     - name: Upload HTML
       id: html-upload
       uses: actions/upload-artifact@v1