Commit 0a60e14c authored by Robbert Krebbers's avatar Robbert Krebbers

CI file.

parent 6342095a
Pipeline #20356 failed with stage
in 0 seconds