ci renaming

berachain · Nov 28, 2023 · 784575e · 784575e
1 parent dc93b0c
commit 784575e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/.github/workflows/mdbook.yml → .github/workflows/deploy.yml b/.github/workflows/mdbook.yml → .github/workflows/deploy.yml
@@ -2,7 +2,7 @@
 #
 # To get started with mdBook see: https://rust-lang.github.io/mdBook/index.html
 #
-name: mdbook
+name: deploy
 
 on:
   # Runs on pushes targeting the default branch
@@ -48,7 +48,7 @@ jobs:
           path: ./book
 
   # Deployment job
-  deploy:
+  github-pages:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,6 +1,6 @@
 
 # This is the linting CI workflow
-name: lint
+name: ci
 
 # This workflow is triggered on pull requests to the main branch
 on:
@@ -11,8 +11,7 @@ on:
 
 # The jobs that this workflow will run
 jobs:
-  # The build job
-  build:
+  lint:
     # This job runs on the latest version of Ubuntu
     runs-on: macos-latest
     steps: