Code

Typed ops.pebble.py#773

Code

Merged

jnsgruk merged 6 commits intocanonical:maincanonical/operator:mainfrom PietroPasotti:typing-pebblePietroPasotti/operator:typing-pebbleCopy head branch name to clipboardJun 24, 2022

+573-296

Commits

Commits on Jun 13, 2022

• pr comments

  PietroPasotti

  committed
  acedeed

  Copy full SHA for acedeed

• quoted literal

  PietroPasotti

  committed
  9550d76

  Copy full SHA for 9550d76

• added tests for checklevel 'raw' case and relaxed typing check

  PietroPasotti

  committed
  e4038bb

  Copy full SHA for e4038bb

Commits on Jun 23, 2022

• Merge branch 'main' into typing-pebble

  jnsgruk

  authored
  53ce164

  Copy full SHA for 53ce164

• pr comments

  PietroPasotti

  committed
  dd949b8

  Copy full SHA for dd949b8

Commits on Jun 24, 2022

• merge from main

  PietroPasotti

  committed
  93e2cfe

  Copy full SHA for 93e2cfe