Delete .github/workflows directory#185

isabelschoeps-thiel wants to merge 1 commit intocommunity:maincommunity/.github:mainfrom

isabelschoeps-thiel:patch-3isabelschoeps-thiel/.github:patch-3Copy head branch name to clipboard