Skip to content
Enforce PR Labels

Merge/handmerge/mapl3 2023 dec20 #1733

Sign in to view logs

Merge/handmerge/mapl3 2023 dec20

Merge/handmerge/mapl3 2023 dec20 #1733

Triggered via pull request December 20, 2023 19:33
@mathomp4mathomp4
opened #2502
merge/handmerge/mapl3-2023Dec20
Status Success
Total duration 16s
Artifacts –

enforce-labels.yml

on: pull_request
require-label
2s
require-label
blocking-label
5s
blocking-label
Fit to window
Zoom out
Zoom in