[FIX] Fix the filtered_programs_for_user
call
#4724
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Nov 8, 2023 in 0s
The pull request embarked with main (641db5c) is mergeable
Required conditions for merge:
#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]-
check-success=build
- all of [📃 From pull request rule Automatic squash merge on approval for non-Weblate PRs]:
-draft
[:pushpin: queue requirement]-mergify-configuration-changed
[:pushpin: queue -> allow_merging_configuration_change setting requirement]- all of:
- any of [:twisted_rightwards_arrows: queue conditions]:
- any of [🛡 GitHub branch protection]:
-
check-success=build
-
check-neutral=build
-
check-skipped=build
-
Check-runs and statuses of the embarked pull request #4724:
Analyze the repo with CodeSee | details | ||
build | details | ||
build | details | ||
cypress | details | ||
pre-commit | details | ||
pre-commit | details | ||
pre-commit.ci - prchecks completed successfully | details | ||
update_javascript | details |
Loading