diff --git a/.github/maintainer/mkmaintainer.py b/.github/maintainer/mkmaintainer.py index 050229d..5a09953 100755 --- a/.github/maintainer/mkmaintainer.py +++ b/.github/maintainer/mkmaintainer.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python from pathlib import Path from urllib.parse import urlencode diff --git a/.github/workflows/java.yaml b/.github/workflows/java.yaml index b785de9..df47b09 100644 --- a/.github/workflows/java.yaml +++ b/.github/workflows/java.yaml @@ -13,7 +13,7 @@ permissions: jobs: pre-commit: name: Rerun pre-commit checks - runs-on: ubuntu-latest + runs-on: ubuntu-slim steps: - name: Check out repo uses: actions/checkout@v5 @@ -112,7 +112,7 @@ jobs: name: Release if: github.ref_type == 'tag' needs: build - runs-on: ubuntu-latest + runs-on: ubuntu-slim concurrency: release-${{ github.ref }} permissions: contents: write