Removed comment in Github workflow

exasol · Nov 28, 2024 · e5ba7b6 · e5ba7b6
1 parent 110b1de
commit e5ba7b6
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,18 +2,6 @@ name: CI
 
 on:
   pull_request:
-
-# why would we need push / pull_request?
-# I prefer just pull_request
-
-#   push:
-#     branches-ignore:
-#       - "github-pages/*"
-#       - "gh-pages/*"
-#       - "main"
-#       - "master"
-#   pull_request:
-#     types: [opened, reopened]
   schedule:
     # “At 00:00 on every 7th day-of-month from 1 through 31.” (https://crontab.guru)
     - cron: "0 0 1/7 * *"