Skip to content

Use GitHub's automerge instead of Mergify #459

Use GitHub's automerge instead of Mergify

Use GitHub's automerge instead of Mergify #459

Triggered via pull request August 2, 2025 09:53
Status Success
Total duration 1h 58m 36s
Artifacts

build.yml

on: pull_request
Matrix: build
Build successful
4s
Build successful
Fit to window
Zoom out
Zoom in