[trivial] Remove redundant verbosity flag #1136

Sign in to view logs

Triggered via push August 14, 2023 10:31

SimonDold

main

Status Success

Total duration 21m 0s

Artifacts –

ubuntu.yml

on: push

Matrix: Compile planner

Matrix: Test planner