Code

type-annotate Record#214

Code

Open

matthiasdiener wants to merge 4 commits intoinducer:maininducer/pytools:mainfrom matthiasdiener:type-Recordmatthiasdiener/pytools:type-RecordCopy head branch name to clipboard

+12-15

Commits

Commits on Apr 1, 2024

• type-annotate Record

  matthiasdiener

  committed
  1c08e1a

  Copy full SHA for 1c08e1a

• type-annotate Record

  matthiasdiener

  committed
  4899182

  Copy full SHA for 4899182

Commits on Jan 18, 2025

• Merge branch 'main' into type-Record

  matthiasdiener

  authored
  3f43085

  Copy full SHA for 3f43085

Commits on Feb 25, 2025

• Merge branch 'main' into type-Record

  matthiasdiener

  authored
  db383f4

  Copy full SHA for db383f4