Code

fix: dont run push ci#714

Code

Merged

jtguibas merged 1 commit intodevsuccinctlabs/sp1:devfrom john/dont-run-push-cisuccinctlabs/sp1:john/dont-run-push-ciCopy head branch name to clipboardMay 11, 2024

+1-1

Commits

Commits on May 11, 2024

• feat: don't run push ci on dev

  jtguibas

  committed
  4820693