Repository navigation

Run CI on pull requests and by hand, not on branch pushes - #8

Merged

imanimanyara merged 3 commits into

mainfrom

ci/pr-and-dispatch-triggers

Sep 29, 2026

Commits on Sep 28, 2026
- Run CI on pull requests and by hand, not on branch pushes
  imanimanyara
  committed
  85b6dc2
- Log to the current stderr, not the stream captured at configure time
  imanimanyara
  committed
  5a9514b
Commits on Sep 29, 2026
- Build loggers on the current stderr instead of wrapping it, for strict typing
  imanimanyara
  committed
  75225d5