Move CI management from lampepfl/dotty-ci#19697

smarter merged 1 commit intoscala:mainscala/scala3:mainfrom

hamzaremmal:dotty-cihamzaremmal/scala3:dotty-ciCopy head branch name to clipboard