Make names in the GHA lib workflow short#669

abhinavsingh merged 2 commits intoabhinavsingh:developabhinavsingh/proxy.py:developfrom

webknjaz:maintenance/gha-short-nameswebknjaz/proxy.py:maintenance/gha-short-namesCopy head branch name to clipboard