fix(ci): remove HEAD when pushing

morpho-org · Oct 17, 2023 · 8641c38 · 8641c38
1 parent c56822f
commit 8641c38
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
@@ -12,6 +12,7 @@ concurrency:
 
 jobs:
   lint:
+    name: Lint
     runs-on: ubuntu-latest
     steps:
       - name: Generate a token

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -1,4 +1,4 @@
-name: Release on NPM
+name: Publish on NPM
 
 on:
   push:
@@ -21,7 +21,7 @@ concurrency:
 
 jobs:
   build-and-deploy:
-    name: Build and Deploy
+    name: Build and Publish
     runs-on: ubuntu-latest
     steps:
       - name: Generate a token
@@ -70,7 +70,7 @@ jobs:
 
       - name: Push to Correct Branch
         run: |
-          git push origin HEAD:$(basename ${{ github.ref }})
+          git push origin $(basename ${{ github.ref }})
 
       - name: Publish to npm
         run: |
@@ -84,7 +84,7 @@ jobs:
 
       - name: Push Git Tag
         run: |
-          git push origin HEAD:$(basename ${{ github.ref }}) --tags
+          git push origin $(basename ${{ github.ref }}) --tags
 
       - name: Create GitHub Release
         env:
-Original file line number
+Diff line change
@@ Expand Up / @@ -12,6 +12,7 @@ concurrency: @@
     jobs:
       lint:
+        name: Lint
         runs-on: ubuntu-latest
         steps:
           - name: Generate a token
@@ Expand Down @@