Misc update

added 1 commit

• 71352497 - update ci

Compare with previous version

added 4 commits

• 71352497...a28324c5 - 3 commits from branch main
• 60e5ddc5 - Merge branch 'main' into misc_update

Compare with previous version

enabled an automatic merge when the pipeline for 60e5ddc5 succeeds

mentioned in commit ab243150

merged