Commit a0097d2d authored by Éloïs's avatar Éloïs

[ci] build command : release option is useless

parent 5d5adf88