freebsd 13.3 has been released
https://www.freebsd.org/news/newsflash/#2024-03-05:1
our policy is to track only the latest point release of the two current major releases. So that means we want to keep only 13.3 and 14.0, and drop 13.2 ; Currently, CI fails on master because of this. https://gitlab.inria.fr/cado-nfs/cado-nfs/-/jobs/3975909
All we have to do is update .gitlab-ci.yml ; however, it looks better if we update .gitlab-ci.yml for the "tanker" and "freebsd-cloud-image" (recursive) submodules, which I'm gonna do now.