Skip to content

Merge inf_dev_2022 into inf_dev_2024 #32

Merge inf_dev_2022 into inf_dev_2024

Merge inf_dev_2022 into inf_dev_2024 #32

Triggered via pull request March 14, 2024 16:13
Status Skipped
Total duration 2s
Artifacts

pr-title-checker.yml

on: pull_request
check_title
0s
check_title
Fit to window
Zoom out
Zoom in