Any downside to moving to GitHub actions? I already did that for Documenter and all went well.
The only problem I had was that I could not find anything equivalent to “skip-ci”. I got some hints but could not get anything to work.
2 Likes