Fix GitHub Actions#1110

DedSec256 wants to merge 1 commit intomainJetBrains/resharper-fsharp:mainfrom

ber.a/tempJetBrains/resharper-fsharp:ber.a/tempCopy head branch name to clipboard