Repository navigation

Pre 0.8.1 fixes - #401

Merged

Egor-S merged 2 commits into

pre_0.8.1_fixes

May 12, 2023

Merged

Pre 0.8.1 fixes#401
Egor-S merged 2 commits into
masterfrom
pre_0.8.1_fixes

Commits on May 12, 2023
- Replace local_runner with dash in runs table
  Egor-S
  committed
  e3ef5cd
- Pad interruption message with empty lines
  Egor-S
  committed
  01543cf