diff --git a/.github/workflows/label.yml b/.github/workflows/label.yml deleted file mode 100644 index ea7c6007..00000000 --- a/.github/workflows/label.yml +++ /dev/null @@ -1,19 +0,0 @@ -# This workflow will triage pull requests and apply a label based on the -# paths that are modified in the pull request. -# -# To use this workflow, you will need to set up a .github/labeler.yml -# file with configuration. For more information, see: -# https://github.com/actions/labeler - -name: Labeler -on: [pull_request] - -jobs: - label: - - runs-on: ubuntu-latest - - steps: - - uses: actions/labeler@v2 - with: - repo-token: "${{ secrets.GITHUB_TOKEN }}" \ No newline at end of file diff --git a/pom.xml b/pom.xml index 7bb0a5f3..9bbaa481 100644 --- a/pom.xml +++ b/pom.xml @@ -68,7 +68,7 @@ 15 - 3.6.2 + 3.6.3 6.28.0 diff --git a/src/main/resources/templates/layout/page.html b/src/main/resources/templates/layout/page.html index ec16b686..c60513fb 100644 --- a/src/main/resources/templates/layout/page.html +++ b/src/main/resources/templates/layout/page.html @@ -66,7 +66,7 @@ @@ -75,6 +75,14 @@ + +