From 252bdf70dbec924728991a762fa648d8b2f9d2f2 Mon Sep 17 00:00:00 2001
From: Arve Gengelbach <arveg@kth.se>
Date: Mon, 25 Sep 2023 20:25:36 +0200
Subject: [PATCH] ci: add release permissions

---
 .github/workflows/nix.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 88edd5e..6adb9d6 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -10,6 +10,7 @@ on:
       - main
     paths-ignore:
       - 'docs/**'
+      - '**.md'
   pull_request:
     branches:
       - main
@@ -23,6 +24,9 @@ jobs:
       REPO: "arolle/cakeml-translator-ci"
       OUT: ${{ github.workspace }}
     # timeout-minutes: 360
+    # permissions for release
+    permissions:
+      contents: write
     steps:
     - uses: actions/checkout@v3
     - name: Install Nix