fix(deps): update dependency net.sf.saxon:saxon-he to v12.5

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
net.sf.saxon:Saxon-HE (source)	12.4 -> 12.5

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.

[github-actions]

This diff shows one line of a Maven POM file being changed. The version of the Saxon-HE dependency is being updated from 12.4 to 12.5. As per the information given in the diff, there are no syntactic irregularities or confusions present.

However, it's important to note that I can't confirm whether this change will cause any runtime issues or conflicts with your project because that depends on Saxon-HE's 12.5 version compatibility and specific implementations in your codebase. Ensure that all necessary testing is implemented after making such a change to prevent potential regression issues.

[yegor256]

@rultor please, try to merge, since 23 checks have passed

[rultor]

@rultor please, try to merge, since 23 checks have passed

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor please, try to merge, since 23 checks have passed

@renovate[bot] @yegor256 Oops, I failed. You can see the full log here (spent 22min)

[INFO] Adding a license repository jar:file:/home/r/.m2/repository/org/codehaus/mojo/license-maven-plugin/2.4.0/license-maven-plugin-2.4.0.jar!/META-INF/licenses
[INFO] Will search files to update from root /home/r/repo/eo-runtime/src
[INFO] Will search files to update from root /home/r/repo/eo-runtime/target/generated-sources
[INFO] Scan 264 files header done in 365.942ms.
[INFO] 
 * add header on 264 files.
[INFO] 
[INFO] --- groovy:2.1.1:execute (project-validate) @ eo-runtime ---
Verified with check-folders-numbering.groovy - OK. Result: true
Verify that all java classes were compiled successfully
Verified with check-all-java-classes-compiled.groovy - OK. Result: null
Verify that there are no any dependencies in eo-runtime except those that are needed for tests
Verified with check-runtime-deps.groovy - OK. Result: true
[INFO] 
[INFO] --- qulice:0.23.0:check (jcabi-qulice-check) @ eo-runtime ---
[INFO] Calling org.apache.maven.plugins:maven-enforcer-plugin:3.1.0:enforce...
[INFO] This is not an SVN project
[INFO] No dependency problems found
[INFO] Qulice quality check completed in 13s
[INFO] 
[INFO] --- antrun:3.1.0:run (jcabi-xcop) @ eo-runtime ---
[INFO] Executing tasks
[INFO]      [exec] /home/r/repo/eo-runtime/pom.xml looks good
[INFO]      [exec] /home/r/repo/eo-runtime/src/test/resources/logback.xml looks good
[INFO] Executed tasks
[INFO] 
[INFO] --- install:3.1.1:install (default-install) @ eo-runtime ---
[INFO] Installing /home/r/repo/eo-runtime/pom.xml to /home/r/.m2/repository/org/eolang/eo-runtime/1.0-SNAPSHOT/eo-runtime-1.0-SNAPSHOT.pom
[INFO] Installing /home/r/repo/eo-runtime/target/eo-runtime-1.0-SNAPSHOT.jar to /home/r/.m2/repository/org/eolang/eo-runtime/1.0-SNAPSHOT/eo-runtime-1.0-SNAPSHOT.jar
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for eo 1.0-SNAPSHOT:
[INFO] 
[INFO] eo ................................................. SUCCESS [ 13.630 s]
[INFO] eo-parser .......................................... SUCCESS [ 41.879 s]
[INFO] eo-maven-plugin .................................... SUCCESS [03:10 min]
[INFO] eo-runtime ......................................... SUCCESS [11:41 min]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  15:50 min
[INFO] Finished at: 2024-07-05T06:59:03Z
[INFO] ------------------------------------------------------------------------
\u001b[0m\u001b[0m+ mv /home/r/repo .
++ whoami
+ chown -R root repo
+ '[' -n '' ']'
++ whoami
+ sudo chown -R ubuntu repo
+ cd repo
+ git push origin master
To github.com:objectionary/eo.git
 ! [rejected]            master -> master (fetch first)
error: failed to push some refs to 'github.com:objectionary/eo.git'
hint: Updates were rejected because the remote contains work that you do
hint: not have locally. This is usually caused by another repository pushing
hint: to the same ref. You may want to first integrate the remote changes
hint: (e.g., 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
container d541aa0b6544e233c223e72b6549bb6e6d4dc2b9bc08ede51190ac0122e5493f is dead
Fri Jul  5 06:59:47 UTC 2024