You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I updated the dev branch and expected this to automagically update the solution and teaching branches. However, the CI seems to be broken. I can't even see the .github directory anymore. Do you know anything about this @ronald-jaepel?
The text was updated successfully, but these errors were encountered:
I updated the
dev
branch and expected this to automagically update thesolution
andteaching
branches. However, the CI seems to be broken. I can't even see the.github
directory anymore. Do you know anything about this @ronald-jaepel?The text was updated successfully, but these errors were encountered: