Repository navigation

Prepare release v1.2.0 - #135

Merged

hannahlanzrath merged 3 commits into

fix/github-create-remotesfrom

Oct 5, 2026

Merged

Prepare release v1.2.0#135
hannahlanzrath merged 3 commits into
fix/github-create-remotesfrom
release/v1.2.0

Commits on Oct 5, 2026
- Bump version to v1.2.0
  hannahlanzrath
  committed
  641a6af
- Shorten the title of the cases page
  hannahlanzrath
  committed
  9fbb973
- Document loading results of cases from the command line
  hannahlanzrath
  committed
  7497d7e