Merge branch 'dev-branch' into 'main'

resolved sim-longer-than-profile bug

See merge request !4
4 jobs for main in 1 minute and 51 seconds (queued for 1 second)
latest