Skip to content
Auto merge DevKit PRs

Fix build #70

Sign in to view logs

Fix build

Fix build #70

Triggered via pull request March 8, 2024 02:08
@VincentLangletVincentLanglet
labeled #2446
Status Skipped
Total duration 2s
Artifacts –

auto-merge-dev-kit.yaml

on: pull_request_target
auto-merge
0s
auto-merge
Fit to window
Zoom out
Zoom in