Code

chore: add missing integration stuff #1

Code

Merged

imrn99 merged 9 commits intotrunkimrn99/integraal:trunkfrom update-repo-stuffimrn99/integraal:update-repo-stuffCopy head branch name to clipboardMay 5, 2024

+173-11

Commits

Commits on May 5, 2024

• add missing CIs

  imrn99

  committed
  0c30794

• add badges to readme

  imrn99

  committed
  07a9e9f

• complete PR template

  imrn99

  committed
  f0efdb2

• correct branch name in CI

  imrn99

  committed
  12453f6

• add quickstart section to readme

  imrn99

  committed
  b58b650

• complete the missing doc example & crate-level doc

  imrn99

  committed
  53122ec

• tag unused variables witn an underscore

  imrn99

  committed
  9ad26a9

• change doc example return type

  imrn99

  committed
  7a7a9e7

• add a clippy exception for casts

  imrn99

  committed
  3b3f876