CI: use .Dockerfile as file ext, following best practices from Docker

[fedordikarev]

That will allow syntax highlight for the files, and number of utilities expect .Dockerfile to be an ext for the files.

Some projects may need distinct Dockerfiles for specific purposes. A common convention is to name these .Dockerfile. You can specify the Dockerfile filename using the --file flag for the docker build command. Refer to the docker build CLI reference to learn about the --file flag.

https://docs.docker.com/build/concepts/dockerfile/#filename

[github-actions]

No changes to the coverage.

HTML Report

Click to open

[sharnoff]

Looks good - thanks!

[sharnoff]

As a follow-up: @mikhail-sakhnov WDYT about renaming neonvm-kernel/{kernel-builder.Dockerfile => Dockerfile} ? I'm realizing it's a little redundant 😅

[mikhail-sakhnov]

@sharnoff I think it can be just Dockerfile

[fedordikarev]

Let me add that rename neonvm-kernel/{kernel-builder.Dockerfile => Dockerfile} here as well