Skip to content

Merge branch 'develop' into feature/update-pr-statuses #32

Merge branch 'develop' into feature/update-pr-statuses

Merge branch 'develop' into feature/update-pr-statuses #32

Triggered via push October 23, 2023 22:44
Status Success
Total duration 7m 25s
Artifacts 1

commit.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Test results Expired
53.8 KB