Code

Also use Workbench nightly for CI#156

Code

Draft

sonnyp wants to merge 2 commits intomainworkbenchdev/demos:mainfrom workbench-nightlyworkbenchdev/demos:workbench-nightlyCopy head branch name to clipboard

+5-1

Commits

Commits on May 30, 2024

• Also use Workbench nightly for CI

  sonnyp

  committed
  6132a7f

Commits on Jun 14, 2024

• Merge branch 'main' into workbench-nightly

  sonnyp

  committed
  eb87af7