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
In #275 we got some nice new PR CI features, but we lost the CI workflow that runs on push to main, ie. when a PR is merged. It should just a be a matter of running through the old pre-275 workflow again, basically mvn verify, so that we can have that extra assurance that main is really in a good buildable state.
The text was updated successfully, but these errors were encountered:
In #275 we got some nice new PR CI features, but we lost the CI workflow that runs on push to
main
, ie. when a PR is merged. It should just a be a matter of running through the old pre-275 workflow again, basicallymvn verify
, so that we can have that extra assurance thatmain
is really in a good buildable state.The text was updated successfully, but these errors were encountered: