Code

Add push-button release workflow#133

Code

Open

driazati wants to merge 4 commits intomaintlc-pack/tlcpack:mainfrom release_workflowtlc-pack/tlcpack:release_workflowCopy head branch name to clipboard

+190-16

Commits

Commits on Oct 26, 2022

• Add push-button release workflow

  driazati

  committed
  c2d02b3

  Copy full SHA for c2d02b3

• Use conda for installing Python instead of system repos

  driazati

  committed
  5dae934

  Copy full SHA for 5dae934

• Use docker images from main

  driazati

  committed
  b3837da

  Copy full SHA for b3837da

• Remove setup.py patch

  driazati

  committed
  071bd49

  Copy full SHA for 071bd49