workflow¶

• this is the 2023 branch
• do not merge this branch with main which is for 2024 alias latest
• use ./push.sh like normal
• this uses mike versioning