-
Matthias Schiffer authored
`make update-ci` is very fast, so we can run it unconditionally.
Matthias Schiffer authored`make update-ci` is very fast, so we can run it unconditionally.
`make update-ci` is very fast, so we can run it unconditionally.
`make update-ci` is very fast, so we can run it unconditionally.