change name

This commit is contained in:
Cedric Verstraeten
2022-11-22 10:34:00 +01:00
parent f6f8b123bf
commit d27a60664d

View File

@@ -1,4 +1,4 @@
name: Docker Production build
name: Dev Container build
on:
push: