Minor fixes linting.

lambdaclass · Nov 25, 2024 · c41e516 · c41e516
1 parent 789ed1d
commit c41e516
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 15 deletions.
diff --git a/.github/workflows/asertoor.yaml b/.github/workflows/asertoor.yaml
@@ -1,11 +1,9 @@
-name: "Assertoor"
+name: Assertoor
 on:
   merge_group:
   workflow_run:
     workflows: [Docker build]
-    branches: ["**"]
-    types:
-      - completed
+    types: [completed]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}

diff --git a/.github/workflows/ci_skipped.yaml b/.github/workflows/ci_skipped.yaml
@@ -3,8 +3,8 @@ on:
   pull_request:
     branches: ["**"]
     paths:
-      - 'README.md'
-      - 'LICENSE'
+      - "README.md"
+      - "LICENSE"
       - "**/README.md"
       - "**/docs/**"
       - "crates/vm/levm/**"
@@ -13,22 +13,22 @@ jobs:
     name: Lint
     runs-on: ubuntu-latest
     if: false
-    steps: [run: true]
+    steps: [run: "true"]
 
   test:
     name: Test
     runs-on: ubuntu-latest
     if: false
-    steps: [run: true]
+    steps: [run: "true"]
 
   docker_build:
     name: Build Docker image
     runs-on: ubuntu-latest
     if: false
-    steps: [run: true]
+    steps: [run: "true"]
 
   prover:
     name: Build RISC-V zkVM program
     runs-on: ubuntu-latest
     if: false
-    steps: [run: true]
+    steps: [run: "true"]
diff --git a/.github/workflows/hive.yaml b/.github/workflows/hive.yaml
@@ -1,11 +1,9 @@
-name: "Hive"
+name: Hive
 on:
   merge_group:
   workflow_run:
     workflows: [Docker build]
-    branches: ["**"]
-    types:
-      - completed
+    types: [completed]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}

diff --git a/.github/workflows/lint_pr_title.yml b/.github/workflows/lint_pr_title.yml
@@ -1,4 +1,4 @@
-name: "Lint PR title"
+name: Lint PR title
 
 on:
   merge_group: