Merge remote-tracking branch 'origin/master' into registry

uhafner · Mar 1, 2021 · 6fea3a9 · 6fea3a9
2 parents 891e0ea + f26f66e
commit 6fea3a9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,7 +13,7 @@ jobs:
       - name: Test setup
         run: sh copy_files.sh
       - name: Run Autograding
-        uses: uhafner/autograding-github-action@v1.5.0
+        uses: uhafner/autograding-github-action@v1.6.0
         with:
           TOKEN: ${{ secrets.GITHUB_TOKEN }}
           HEAD_SHA: ${{github.event.pull_request.head.sha}}

diff --git a/.github/workflows/run-release-drafter.yml b/.github/workflows/run-release-drafter.yml
@@ -9,6 +9,6 @@ jobs:
   update_release_draft:
     runs-on: ubuntu-latest
     steps:
-      - uses: release-drafter/release-drafter@v5.13.0
+      - uses: release-drafter/release-drafter@v5.14.0
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/pom.xml b/pom.xml
@@ -63,7 +63,7 @@
   <properties>
     <module.name>${project.groupId}.autograding.ghaction</module.name>
 
-    <jib-maven-plugin.version>2.7.1</jib-maven-plugin.version>
+    <jib-maven-plugin.version>2.8.0</jib-maven-plugin.version>
   </properties>
 
   <build>