diff --git a/.github/workflows/push_build_artifacts.yaml b/.github/workflows/push_build_devShells.yaml similarity index 99% rename from .github/workflows/push_build_artifacts.yaml rename to .github/workflows/push_build_devShells.yaml index c6b0a28..4942c6b 100644 --- a/.github/workflows/push_build_artifacts.yaml +++ b/.github/workflows/push_build_devShells.yaml @@ -1,4 +1,5 @@ --- +name: "push: build and cache devShells" on: pull_request: push: