chore(deps): update container image ghcr.io/anthony-spruyt/devcontainer-common to - #310
Merged
mergify[bot] merged 1 commit intoJun 1, 2026
Mergify / Mergify Merge Queue
succeeded
Jun 1, 2026 in 11m 20s
Merged via merge queue
- ✅ Entered queue —
2026-06-01 22:08 UTC· Rule:default - ✅ Checks passed · on draft #312
- ✅ Merged —
2026-06-01 22:19 UTC· at943492a6561a1866ff9951a1c8052b2e1445adf9· squash
This pull request spent 11 minutes 16 seconds in the queue, including 9 minutes 38 seconds running CI.
Required conditions to merge
#approved-reviews-by >= 1#review-threads-unresolved = 0[🛡 GitHub repository ruleset rulepr-rules]-draft-
check-success = summary / Check Results - all of [🛡 Merge Protections rule default]:
#approved-reviews-by >= 1
- any of [🛡 GitHub repository ruleset rule
pr-rules]:-
check-success = summary / Check Results -
check-neutral = summary / Check Results -
check-skipped = summary / Check Results
-
- any of [🛡 GitHub repository ruleset rule
pr-rules]:-
check-neutral = Mergify Merge Protections -
check-skipped = Mergify Merge Protections -
check-success = Mergify Merge Protections
-
Loading