Code

Tagging hotfix#39

Code

Merged

joshua-stone merged 1 commit intomainublue-os/hwe:mainfrom tagging-hotfixublue-os/hwe:tagging-hotfixCopy head branch name to clipboardFeb 16, 2023

+34-28

Commits

Commits on Feb 16, 2023

• fix: Improve separation of tags between PR builds and normal builds

  joshua-stone

  committed
  e77edb0

  Copy full SHA for e77edb0