summaryrefslogtreecommitdiff
path: root/.github/workflows/compile.yml
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2026-04-20 15:52:45 +0200
committerJonas Bernoulli <jonas@bernoul.li>2026-04-20 15:52:45 +0200
commit2cd0cd53e5a0deef15d204872f6feb391469f593 (patch)
tree00d5b840478628a65be34e25b733352873696ce1 /.github/workflows/compile.yml
parent8bf87d45e169ebc091103b2aae325aece3aa804d (diff)
ci: Reduce permissions and add zizmor settingHEADmain
Diffstat (limited to '.github/workflows/compile.yml')
-rw-r--r--.github/workflows/compile.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index 2c1a987..2102237 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -3,4 +3,6 @@ on: [push, pull_request]
jobs:
compile:
name: Compile
- uses: emacscollective/workflows/.github/workflows/compile.yml@main
+ uses: | # zizmor: ignore[unpinned-uses] same maintainer as this repo
+ emacscollective/workflows/.github/workflows/compile.yml@main
+ permissions: {}