Repository navigation

build(deps): bump com.healthmarketscience.jackcess:jackcess from 4.0.11 to 4.0.12 #3321

	# This workflow runs whenever a new pull request is created
Check warning on line 1 in .github/workflows/pull_request_opened.yml View workflow run for this annotation GitHub Actions / Pull Request opened Workflow execution policy warning (evaluate mode) On November 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 opened

	# Only run for newly opened PRs against the "main" or maintenance branches
	# We allow this to run for `pull_request_target` so that github secrets are available
	# (This is required to assign a PR back to the creator when the PR comes from a forked repo)
	on:
	pull_request_target:
	types: [ opened ]
	branches:
	- main
	- 'dspace-**'

	permissions:
	pull-requests: write

	jobs:
	automation:
	runs-on: ubuntu-latest
	steps:
	# Assign the PR to whomever created it. This is useful for visualizing assignments on project boards
	# See https://github.com/toshimaru/auto-author-assign
	- name: Assign PR to creator
	uses: toshimaru/auto-author-assign@v3.1.0