]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
projects / thirdparty / mkosi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 16ec37b)
ci: Don't run on push to main
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 13 Jan 2025 14:44:54 +0000 (15:44 +0100)
committerJörg Behrmann <behrmann@physik.fu-berlin.de>
Mon, 13 Jan 2025 14:46:34 +0000 (15:46 +0100)
We're not exactly swimming in capacity, and this hasn't ever caught
anything, so let's stop running CI on pushes to main.

.github/workflows/ci.yml patch | blob | blame | history

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f7b3e54777eb1aa89f8f711c2445f4dc21624688..5233559b457e2c5e1506caed8a56a6a2021174b2 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,9 +1,6 @@
 name: CI
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
     branches:
       - main
Mirror of https://github.com/systemd/mkosi.git