Skip to content
Enforce PR Labels

Merge/handmerge/mapl3 2023 dec20 #1732

Sign in to view logs

Merge/handmerge/mapl3 2023 dec20

Merge/handmerge/mapl3 2023 dec20 #1732

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

enforce-labels.yml

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