Dockefile name updated to satisfy pipelines

2 jobs for v0.1.3 in 39 seconds (queued for 13 seconds)
latest
Status Name Job ID Coverage
  Push
passed push-latest #1562

00:00:35

 
  Deploy
failed deploy #1563

00:00:03

 
Name Stage Failure
failed
deploy Deploy There is an unknown failure, please try again
HEAD is now at 70dd595 About tab added
Checking out 75fb47ee as v0.1.3...
Skipping Git submodules setup
$ make -e login
Login Succeeded
Not logging in to global the docker registry
$ make -e deploy
make: *** No rule to make target 'deploy'. Stop.
ERROR: Job failed: exit status 1