Skip to content

Commit

Permalink
Fix double execution of CI workflow on initial PR push (#317)
Browse files Browse the repository at this point in the history
  • Loading branch information
Nicoretti authored Dec 27, 2024
1 parent 7ad6aee commit 14be6eb
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 5 deletions.
2 changes: 0 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,6 @@ on:
- "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 * *"
Expand Down
8 changes: 7 additions & 1 deletion doc/changes/unreleased.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,11 @@
# Unreleased

## 🐞 Fixed
* Fixed an issue in the CI workflow that caused it to be executed twice on the initial push of a PR if the PR branch was on the repo itself.

🚨 Attention: Due to these changes, the workflows will no longer be executed if the PR comes from a branch not located in this repository.
As third-party contributions from outside forks are rare to nearly non-existent, this downside was considered a reasonable trade-off at this time.

## 🔩 Internal
* Relocked dependencies
* Update referenced github actions
* Update referenced github actions
2 changes: 0 additions & 2 deletions exasol/toolbox/templates/github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,6 @@ on:
- "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 * *"
Expand Down

0 comments on commit 14be6eb

Please sign in to comment.