Skip to content

Merge pull request #158 from mshitrit/undo-va-deletion #612

Merge pull request #158 from mshitrit/undo-va-deletion

Merge pull request #158 from mshitrit/undo-va-deletion #612

Triggered via push November 1, 2023 13:36
Status Success
Total duration 14m 5s
Artifacts

pre-submit.yaml

on: push
Fit to window
Zoom out
Zoom in