Skip to content

vector: close files and pipes in v.rast.stats, v.db.*, v.report and v.in.e00 #11562

vector: close files and pipes in v.rast.stats, v.db.*, v.report and v.in.e00

vector: close files and pipes in v.rast.stats, v.db.*, v.report and v.in.e00 #11562

Workflow file for this run

---

Check warning on line 1 in .github/workflows/label.yml

View workflow run for this annotation

GitHub Actions / Pull Request Labeler

Workflow execution policy warning (evaluate mode)

On December 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target
name: Pull Request Labeler
# 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/blob/master/README.md
on:
# zizmor: ignore[dangerous-triggers] Labeler should be used with pull_request_target
pull_request_target:
# Limit pull_request_target execution to maintained branches
branches:
- main
- releasebranch_*
permissions: {}
concurrency:
group: ${{ github.workflow }}-${{ github.event_name == 'pull_request_target' && github.head_ref || github.sha }}
cancel-in-progress: true
jobs:
labeler:
permissions:
contents: read
issues: write
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@bf12e9b00b37c5c0ca2b87b79b2daf7891dbda13 # v7.0.0
with:
sync-labels: false