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
We created a temporary dev branch to work as a dev branch during the holidays and push all of the changes there.
This branch will be reviewed and merged again in january, once everyone is back.
The ci.yml file needs to be updated so that tests now also run for the dev_tmp branch, I added a TODO to remember to revert this change once the branch is merged.
This ticket is created as a reminder of this.
FYI @grst@atrigila@alanmmobbs93@apeltzer
The text was updated successfully, but these errors were encountered:
nschcolnicov
changed the title
Merge dev_tmp branch and address TODOs
Merge dev_tmp branch and revert CI changes
Dec 20, 2024
We created a temporary dev branch to work as a dev branch during the holidays and push all of the changes there.
This branch will be reviewed and merged again in january, once everyone is back.
The ci.yml file needs to be updated so that tests now also run for the dev_tmp branch, I added a TODO to remember to revert this change once the branch is merged.
This ticket is created as a reminder of this.
FYI @grst @atrigila @alanmmobbs93 @apeltzer
The text was updated successfully, but these errors were encountered: