CI: rename image build/push job

For consistency with job names in other repositories
UtrechtUniversity · Mar 4, 2024 · 6e1517a · 6e1517a
1 parent 9d5ee50
commit 6e1517a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/push-image.yml → .github/workflows/build-push-image.yml b/.github/workflows/push-image.yml → .github/workflows/build-push-image.yml