adjust linting to version 1.2.0

mundialis · Jun 5, 2024 · 749ba81 · 749ba81
1 parent 696285a
commit 749ba81
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml
@@ -4,4 +4,4 @@ on: [push]
 
 jobs:
   lint:
-    uses: mundialis/github-workflows/.github/workflows/linting.yml@main
+    uses: mundialis/github-workflows/.github/workflows/linting.yml@1.2.0
diff --git a/RELEASE.md b/RELEASE.md
@@ -17,4 +17,4 @@ Steps when releasing:
 - At the bottom of the release, add
   "generated with `gh api repos/$REPO_NAME/releases/generate-notes -f tag_name="$ESTIMATED_VERSION" -f target_commitish=main -q .body`" and replace `$REPO_NAME` and `$ESTIMATED_VERSION` with the actual version.
 - Make sure that the checkbox for "Set as the latest release" is checked so that this version appears on the main github repo page
-- Now you can save the release
+- Now you can save the release
-Original file line number
+Diff line change
@@ Expand Up / @@ -4,4 +4,4 @@ on: [push] @@
     jobs:
       lint:
-        uses: mundialis/github-workflows/.github/workflows/linting.yml@main
+        uses: mundialis/github-workflows/.github/workflows/linting.yml@1.2.0