use better name for lint and integration-tests github actions

Open-EO · Oct 18, 2023 · 5736e1b · 5736e1b
1 parent 1ea4ed9
commit 5736e1b
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/on_push.yaml → .github/workflows/lint_and_test.yaml b/.github/workflows/on_push.yaml → .github/workflows/lint_and_test.yaml