Skip to content

pip: bump edk2-pytool-extensions from 0.25.0 to 0.25.1 #396

pip: bump edk2-pytool-extensions from 0.25.0 to 0.25.1

pip: bump edk2-pytool-extensions from 0.25.0 to 0.25.1 #396

Triggered via pull request October 25, 2023 08:34
Status Success
Total duration 3h 1m 58s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

auto-merge.yml

on: pull_request_target
Matrix: merge_check / Merge
Fit to window
Zoom out
Zoom in