Skip to content

Make CI Keep up to date a one time action #14289

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
JaroslavTulach wants to merge 17 commits into
base: develop
Choose a base branch
from
Open

Make CI Keep up to date a one time action #14289

Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
746b1b0
Make CI Keep up to date a one time action
JaroslavTulach Nov 13, 2025
363cacd
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 13, 2025
5952c06
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 13, 2025
b42732e
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 13, 2025
eb81470
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 13, 2025
2d7bc99
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 13, 2025
3f0239e
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
2405ceb
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
365bfec
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
dcbe13b
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
756a3a4
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
690d888
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
849f0be
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 14, 2025
d5ca0af
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 18, 2025
0388f54
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 18, 2025
92e4477
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 19, 2025
6636602
Merge branch 'develop' into wip/jtulach/OneTimeKeepUpToDate
mergify[bot] Nov 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion .github/mergify.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,12 @@ pull_request_rules:
# Important Notes
{{ notes }}
{%- endif -%}
- name: Automatic PR update
- name: One time automatic PR update
conditions:
- or:
- "label=CI: Keep up to date"
actions:
update:
label:
remove:
- "CI: Keep up to date"