Skip to content

ci: updating some workflows and preparing for merge queues #720

ci: updating some workflows and preparing for merge queues

ci: updating some workflows and preparing for merge queues #720

Triggered via pull request December 1, 2023 11:16
@mpokempoke
opened #1464
Status Success
Total duration 11s
Artifacts

pr_labeler.yml

on: pull_request_target
labeler
5s
labeler
Fit to window
Zoom out
Zoom in