Skip to content

Merge branch '115-total-permit' into 'dev' #20

Merge branch '115-total-permit' into 'dev'

Merge branch '115-total-permit' into 'dev' #20

Triggered via push September 18, 2023 12:20
Status Success
Total duration 20s
Artifacts

mirroring.yml

on: push
git-sync
9s
git-sync
Fit to window
Zoom out
Zoom in