1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-28 22:01:15 +02:00

Avoid superfluous duplicate jobs on PRs

This commit is contained in:
Eelco Dolstra 2024-07-11 11:19:08 +02:00
parent 6ad333aeee
commit 83173fef17

View file

@ -3,6 +3,10 @@ name: "CI"
on: on:
pull_request: pull_request:
push: push:
branches:
- detsys-main
- main
- master
permissions: permissions:
id-token: "write" id-token: "write"