Skip to content

Merge remote-tracking branch 'origin/dev' into dev #701

Merge remote-tracking branch 'origin/dev' into dev

Merge remote-tracking branch 'origin/dev' into dev #701

Triggered via push November 7, 2023 01:04
Status Success
Total duration 32s
Artifacts

ci.yml

on: push
test_suite
22s
test_suite
Fit to window
Zoom out
Zoom in