Code

fix pin-and-downgrade#256

Code

Merged

2 commits merged intomainklothoplatform/klotho:mainfrom version-downgradeklothoplatform/klotho:version-downgradeCopy head branch name to clipboardFeb 21, 2023

+265-2

Commits

Commits on Feb 17, 2023

• fix pin-and-downgrade

  Show description for 79c314a
  

  Yuval Shavit

  committed
  79c314a

  Copy full SHA for 79c314a

• better reasoning about downgrades

  Show description for 44d4255
  

  Yuval Shavit

  committed
  44d4255

  Copy full SHA for 44d4255