Skip to content
Snippets Groups Projects

Resolve "Type hints"

Merged Mayr, Hannes requested to merge 96-type-hints into dev
1 unresolved thread

Closes #96 (closed)

Merge request reports

Pipeline #870864 passed

Pipeline passed for 960060fb on 96-type-hints

Test coverage 98.31% (0.03%) from 1 job
Approval is optional

Merged by Mayr, HannesMayr, Hannes 2 years ago (Dec 14, 2022 11:34am UTC)

Loading

Pipeline #870949 passed

Pipeline passed for cb27fbe0 on dev

Test coverage 98.31% (0.03%) from 1 job

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading