Skip to content

Merge branch 'develop' into topic/datetime #418

Merge branch 'develop' into topic/datetime

Merge branch 'develop' into topic/datetime #418

Triggered via push October 17, 2023 11:38
Status Success
Total duration 16s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

short_test.yml

on: push
check_if_pull_request
5s
check_if_pull_request
build_and_test
0s
build_and_test
Fit to window
Zoom out
Zoom in