Skip to content

Switch to new GitLab CI tooling

Nicolás Alvarez requested to merge work/new-ci into master

Switch to new GitLab CI tooling. Also remove custom clazy job, it hasn't worked in months so clearly nobody was caring about the result anyway.

Edited by Nicolás Alvarez

Merge request reports