ci: fix extension build failed due to ox tempo/Signature Envelope issue#1052

laciferin2024 wants to merge 1 commit intoithacaxyz:mainithacaxyz/porto:mainfrom

ideo-org:mainideo-org/porto:mainCopy head branch name to clipboard