Skip to content

Add progress indicator and log file output for concise terminal output#4528

Open
tautschnig wants to merge 10 commits into
model-checking:mainfrom
tautschnig:progress-bar
Open

Add progress indicator and log file output for concise terminal output#4528
tautschnig wants to merge 10 commits into
model-checking:mainfrom
tautschnig:progress-bar

Merge remote-tracking branch 'origin/main' into progress-bar

208ff46
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.