From 18a8a71765f6cbb83642fe9be9b727a2c67a5082 Mon Sep 17 00:00:00 2001
From: Gary Tierney <gary.tierney@fastmail.com>
Date: Fri, 11 Oct 2024 05:25:10 +0100
Subject: [PATCH] Allow deploy job to access id-tokens

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index be2d3ca..48fda45 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -71,6 +71,8 @@ jobs:
           path: target/llvm-cov/html
 
   deploy:
+    permissions:
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}