Merge branch 'UpdateTo2510' into 'main'
Passed
Riccardo Maria Bianchi
created pipeline for commit
2ad29c92
, finished
For 1.0.0
17 minutes 50 seconds, queued for 1 seconds