Code

Port version linter to berkeley#14180

Code

Merged

dkijania merged 7 commits intoberkeleyMinaProtocol/mina:berkeleyfrom dkijania/port_version_linterMinaProtocol/mina:dkijania/port_version_linterCopy head branch name to clipboardSep 25, 2023

+336

Commits

Commits on Sep 25, 2023

• New version linter

  

  psteckler

  authored and

  dkijania

  committed
  806d407

• feature/new-version-linter Use new mina-type-shapes bucket to handle type shape files

  

  lk86

  authored and

  dkijania

  committed
  dacfa0c

• added CI part for pushing shapes to gcloud

  Show description for bc54bec
  dkijania

  committed
  bc54bec

• Revert "Auxiliary commit to revert individual files from 4ce1c53"

  Show description for 3dc8805
  dkijania

  committed
  3dc8805

• trigger build

  dkijania

  committed
  e1e9925

• Revert "Auxiliary commit to revert individual files from 4a62376"

  Show description for de1a02b
  dkijania

  committed
  de1a02b

• Revert "Auxiliary commit to revert individual files from 73bb4c8"

  Show description for 1825063
  dkijania

  committed
  1825063