Enforce Typecheck #51

Merged
Rubicon merged 5 commits from enforce-typecheck into master 2024-12-04 17:27:20 +00:00
Owner

Enforce type checking to avoid most of value problems.

  • Run typecheck in CI
  • Fix all errors
Enforce type checking to avoid most of value problems. - [x] Run typecheck in CI - [x] Fix all errors
Rubicon added 4 commits 2024-12-04 15:45:00 +00:00
Rubicon added 1 commit 2024-12-04 15:46:20 +00:00
ci/checkpr: correct the job name
All checks were successful
/ checkpr (pull_request) Successful in 1m23s
4d4e787b84
Rubicon merged commit fe350532ec into master 2024-12-04 17:27:20 +00:00
Rubicon deleted branch enforce-typecheck 2024-12-04 17:27:20 +00:00
Sign in to join this conversation.
No description provided.