ci: rename github workflow file from build to docker

This commit is contained in:
Tom French 2022-05-20 19:07:30 +01:00 committed by James Long
parent cd22e38660
commit 09722d8678