Skip to content

Make github workflow which would ensure that PR against master would have everything from maint merged #1383

Make github workflow which would ensure that PR against master would have everything from maint merged

Make github workflow which would ensure that PR against master would have everything from maint merged #1383

Triggered via pull request May 13, 2024 21:33
Status Success
Total duration 1m 37s
Artifacts

typing.yml

on: pull_request
Fit to window
Zoom out
Zoom in