Fix deployment #567
Merged
Fix deployment #567
Mergify / Queue: Embarked in merge queue
succeeded
Dec 15, 2024 in 0s
The pull request embarked with main (90c1d19) will be merged soon
Required conditions for merge:
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = clippy
-
check-neutral = clippy
-
check-skipped = clippy
-
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = CodeQL
-
check-neutral = CodeQL
-
check-skipped = CodeQL
-
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = Analyze (go)
-
check-neutral = Analyze (go)
-
check-skipped = Analyze (go)
-
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = Run rust-clippy analyzing
-
check-neutral = Run rust-clippy analyzing
-
check-skipped = Run rust-clippy analyzing
-
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = build (macos-14)
-
check-neutral = build (macos-14)
-
check-skipped = build (macos-14)
-
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = build (ubuntu-24.04)
-
check-neutral = build (ubuntu-24.04)
-
check-skipped = build (ubuntu-24.04)
-
- any of [🛡 GitHub repository ruleset rule]:
-
check-success = build (windows-2022)
-
check-neutral = build (windows-2022)
-
check-skipped = build (windows-2022)
-
Check-runs and statuses of the embarked pull request #567:
deploy | details | ||
Analyze (go) | details | ||
CodeQL — No new alerts in code changed by this pull request | details | ||
Run rust-clippy analyzing | details | ||
build (macos-14) | details | ||
build (ubuntu-24.04) | details | ||
build (windows-2022) | details | ||
clippy — No new alerts in code changed by this pull request | details |
Loading