(~Strikethrough~ any points that are not applicable.)
[x] This comment contains a description of changes with justifications, with any relevant issues linked.
~[ ] Update docs if there are any API changes.~
~[ ] Update CHANGELOG.md with a short description of any user-facing changes and reference the PR number. Guidelines: https://keepachangelog.com/en/1.1.0/~
Changes
Fix a syntax error in the main CI workflow
Issues
NA
PR Checklist
(~Strikethrough~ any points that are not applicable.)
CHANGELOG.mdwith a short description of any user-facing changes and reference the PR number. Guidelines: https://keepachangelog.com/en/1.1.0/~