24 Oct
2022
24 Oct
'22
8:48 p.m.
gitlab CI needed a tweak to not run the build on each commit. The initial commits miss the CI scripts and I didn't want to rebase everything on top of the gitlab CI commit invalidating all the reviews.