#30 Rephrsing suggested by Jerome.
Passed
GILLES Sebastien
created pipeline for commit
01519f92
, finished
1 related merge request: !108 Notebook about dealing with compilation errors
3 minutes 5 seconds, queued for 0 seconds