Auto-merge dependency PRs

Workflow runs for Auto-merge dependency PRs

• Update CompScienceMeshes requirement from 0.11, 0.12 to 0.11, 0.12, 0.13

  completed successfully:
  Auto-merge dependency PRs#11:Pull request#25openedbydependabot[bot]Bot
  Oct 14, 202612s
  More actions for workflow run 11

• CompatHelper: bump compat for CompScienceMeshes in [weakdeps] to 0.13, (keep existing compat)

  skipped:
  Auto-merge dependency PRs#10:Pull request#24synchronizebyJoshuaTetzner
  Oct 7, 20261s
  More actions for workflow run 10

• Update JET requirement from 0.9, 0.10, 0.11 to 0.9, 0.10, 0.11, 0.12

  completed successfully:
  Auto-merge dependency PRs#9:Pull request#23openedbydependabot[bot]Bot
  Oct 6, 202612s
  More actions for workflow run 9

• Update H2Trees requirement from 0.3 to 0.3, 0.4

  completed successfully:
  Auto-merge dependency PRs#8:Pull request#22openedbydependabot[bot]Bot
  Aug 11, 202610s
  More actions for workflow run 8

• CompatHelper: bump compat for H2Trees to 0.4, (keep existing compat)

  skipped:
  Auto-merge dependency PRs#7:Pull request#21synchronizebyJoshuaTetzner
  Aug 8, 20261s
  More actions for workflow run 7

• CompatHelper: bump compat for JET in [extras] to 0.12, (keep existing compat)

  skipped:
  Auto-merge dependency PRs#6:Pull request#20synchronizebyJoshuaTetzner
  Jul 29, 20261s
  More actions for workflow run 6

• Testsuite and documentation

  skipped:
  Auto-merge dependency PRs#5:Pull request#19synchronizebyJoshuaTetzner
  Jul 1, 20261s
  More actions for workflow run 5

• Testsuite and documentation

  skipped:
  Auto-merge dependency PRs#4:Pull request#19synchronizebyJoshuaTetzner
  Jul 1, 202610s
  More actions for workflow run 4

• Testsuite and documentation

  skipped:
  Auto-merge dependency PRs#3:Pull request#19openedbyJoshuaTetzner
  Jul 1, 20267s
  More actions for workflow run 3

• Bump codecov/codecov-action from 6 to 7

  completed successfully:
  Auto-merge dependency PRs#2:Pull request#18openedbydependabot[bot]Bot
  Jun 30, 20269s
  More actions for workflow run 2

• Bump actions/checkout from 6 to 7

  completed successfully:
  Auto-merge dependency PRs#1:Pull request#17openedbydependabot[bot]Bot
  Jun 30, 202610s
  More actions for workflow run 1