update ISBN ranges #8

	name: test, format, and push
	on:
	push:
	branches: [dev]
	paths: ['**.java']
	permissions:
	contents: write
	jobs:
	report:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	ref: main
	fetch-depth: 0

	- name: Checkout current changes
	run: \|
	git config --global user.email "[email protected]"
	git config --global user.name "Jenkins"
	git rebase $GITHUB_SHA

	- name: Set up JDK 17
	uses: actions/setup-java@v3
	with:
	java-version: '17'
	distribution: 'temurin'
	cache: maven

	- name: Test and format the changes
	run: mvn --batch-mode clean verify -Dgpg.skip=true

	- name: Commit and push changes
	run: \|
	git commit -a --amend --no-edit --allow-empty
	git rebase --no-keep-empty --empty=drop --force-rebase origin/main
	git push origin HEAD:main

Provide feedback