ci: update ci_server.yml

reearth · Aug 7, 2023 · bddc8a9 · bddc8a9
1 parent bda605d
commit bddc8a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci_server.yml b/.github/workflows/ci_server.yml
@@ -7,7 +7,7 @@ env:
 jobs:
   ci-server-lint:
     runs-on: ubuntu-latest
-    if: github.event_name != 'push' || !startsWith(github.event.head_commit.message, 'v')
+    if: github.event_name != 'push'
     steps:
       - name: checkout
         uses: actions/checkout@v3