Commit 640378d5 authored by ale's avatar ale

Ignore the build directory in Docker

parent 002c516e
Pipeline #8075 passed with stages
in 2 minutes and 37 seconds