Repository navigation

Remove unnecessary build step for some workflows - #3124

Merged

tautschnig merged 4 commits into

model-checking:mainfrom

zhassan-aws:remove-unnecessary-build

Apr 5, 2024

Merged

Remove unnecessary build step for some workflows#3124
tautschnig merged 4 commits into
model-checking:mainfrom
zhassan-aws:remove-unnecessary-build

Commits on Apr 4, 2024
- Remove unnecessary build step for perf flows
  zhassan-aws
  committed
  bc113a8
- Remove more unnecessary builds
  zhassan-aws
  committed
  1663604
Commits on Apr 5, 2024
- Merge branch 'main' into remove-unnecessary-build
  tautschnig
  authored
  1a293a2
- Merge branch 'main' into remove-unnecessary-build
  tautschnig
  authored
  4186cd7