Skip to content

Fix dropdown default and adjust tutorial to use 42 as default for proof#31400

Merged
pierrejeambrun merged 1 commit into
apache:mainfrom
boschglobal:bugfix/31399-fix-dropdown-default-in-trigger-ui
May 21, 2023
Merged

Fix dropdown default and adjust tutorial to use 42 as default for proof#31400
pierrejeambrun merged 1 commit into
apache:mainfrom
boschglobal:bugfix/31399-fix-dropdown-default-in-trigger-ui

Fix dropdown default and adjust tutorial to use 42 as default for proof

c6725fb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs