Repository navigation

Users/pgo/push only diagnostics - #357

Merged

pgourlain merged 5 commits into

users/pgo/push-only-diagnostics

Sep 26, 2026

Commits on Sep 26, 2026
- filter workspace diagnostic
  pgourlain
  committed
  616bb2e
- diagnostic in push mode only (too many conflicts with push and pull)
  pgourlain
  committed
  07e8226
- Diagnostics in push mode only
  pgourlain
  committed
  a20b429
- fix duplicate warnings/errors in .hrl
  pgourlain
  committed
  b79bae3
- Version 1.2.4
  pgourlain
  committed
  5f56de7