Skip to content

Remove outdated windows CI information #813

Remove outdated windows CI information

Remove outdated windows CI information #813

Triggered via pull request September 21, 2023 13:47
Status Success
Total duration 28s
Artifacts

pr-handling.yaml

on: pull_request_target
Assign PR to author
6s
Assign PR to author
Run pull-review
15s
Run pull-review
Fit to window
Zoom out
Zoom in