Required conditions for merge:

• #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • #659
• check-success=Analyze
• check-success=Check Javadocs
• check-success=CodeFactor
• check-success=CodeQL
• check-success=Run Tests
• any of [🛡 GitHub branch protection]:
  • check-success = Run Tests
  • check-neutral = Run Tests
  • check-skipped = Run Tests
• any of [🛡 GitHub branch protection]:
  • check-success = Check Javadocs
  • check-neutral = Check Javadocs
  • check-skipped = Check Javadocs
• any of [🛡 GitHub branch protection]:
  • check-success = CodeFactor
  • check-neutral = CodeFactor
  • check-skipped = CodeFactor
• any of [🛡 GitHub branch protection]:
  • check-success = CodeQL
  • check-neutral = CodeQL
  • check-skipped = CodeQL

Check-runs and statuses of the embarked pull request #659:

		Analyze	details
		Check Javadocs	details
		CodeFactor — No issues found.	details
		CodeQL — No new alerts in code changed by this pull request	details
		Run Tests	details