fix(ci): resolve lint errors and typecheck failures#149

Merged

skulidropek merged 2 commits intoProverCoderAI:mainfrom

skulidropek:fix/ci-cd-lint-typecheck

Mar 16, 2026

Commits on Mar 16, 2026

fix(ci): resolve lint errors and typecheck failures in app and lib
skulidropek
committed
fix(ci): replace Effect.catchAll with Effect.orElse to satisfy effect lint rules
skulidropek
committed