Agent/install gh cli 32f2 - #3

Agent/install gh cli 32f2#3

andrestobelem merged 2 commits into

mainandrestobelem/lean4:mainfrom

agent/install-gh-cli-32f2andrestobelem/lean4:agent/install-gh-cli-32f2Copy head branch name to clipboard