src/Cas/AttributeExtractor.php:66:33: PossiblyNullArgument: Argument 1 of SimpleSAML\Module\casserver\Cas\AttributeExtractor::runAuthProcs cannot be null, possibly null value provided (see https://psalm.dev/078)

src/Cas/AttributeExtractor.php:70:23: PossiblyNullArrayAccess: Cannot access array value on possibly null variable $state of type array<array-key, mixed>|null (see https://psalm.dev/079)

src/Cas/AttributeExtractor.php:74:21: PossiblyNullArrayAccess: Cannot access array value on possibly null variable $attributes of type mixed|null (see https://psalm.dev/079)

src/Cas/AttributeExtractor.php:74:21: PossiblyNullArrayAccess: Cannot access array value on possibly null variable $attributes[$casUsernameAttribute] of type mixed|null (see https://psalm.dev/079)

src/Cas/AttributeExtractor.php:75:13: RiskyTruthyFalsyComparison: Operand of type mixed|null contains type mixed, which can be falsy and truthy. This can cause possibly unexpected behavior. Use strict comparison instead. (see https://psalm.dev/356)

src/Cas/AttributeExtractor.php:85:49: PossiblyNullArgument: Argument 2 of array_key_exists cannot be null, possibly null value provided (see https://psalm.dev/078)

src/Cas/AttributeExtractor.php:109:16: UndefinedDocblockClass: Docblock-defined class, interface or enum named SimpleSAML\Module\casserver\Cas\Exception does not exist (see https://psalm.dev/200)

src/Cas/AttributeExtractor.php:110:16: UndefinedDocblockClass: Docblock-defined class, interface or enum named SimpleSAML\Module\casserver\Cas\Error\UnserializableException does not exist (see https://psalm.dev/200)

src/Cas/AttributeExtractor.php:150:14: RiskyTruthyFalsyComparison: Operand of type mixed|null contains type mixed, which can be falsy and truthy. This can cause possibly unexpected behavior. Use strict comparison instead. (see https://psalm.dev/356)

src/Cas/Protocol/Cas20.php:136:43: PossiblyInvalidArgument: Argument 1 of SimpleSAML\Module\casserver\Cas\Protocol\Cas20::isValidXmlName expects string, but possibly different type array<array-key, string>|string provided (see https://psalm.dev/092)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

src/Cas/Ticket/DelegatingTicketStore.php:33:25: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Cas\Ticket\DelegatingTicketStore::$primaryDelegate is not defined in constructor of SimpleSAML\Module\casserver\Cas\Ticket\DelegatingTicketStore or in any private or final methods called in the constructor (see https://psalm.dev/074)

src/Controller/Cas10Controller.php:25:22: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\Cas10Controller::$logger is not defined in constructor of SimpleSAML\Module\casserver\Controller\Cas10Controller or in any methods called in the constructor (see https://psalm.dev/074)

src/Controller/Cas20Controller.php:28:22: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\Cas20Controller::$logger is not defined in constructor of SimpleSAML\Module\casserver\Controller\Cas20Controller or in any methods called in the constructor (see https://psalm.dev/074)

src/Controller/Cas20Controller.php:131:21: DeprecatedMethod: The method SimpleSAML\Module\casserver\Controller\Traits\UrlTrait::checkServiceURL has been marked as deprecated (see https://psalm.dev/001)

src/Controller/Cas30Controller.php:25:22: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\Cas30Controller::$logger is not defined in constructor of SimpleSAML\Module\casserver\Controller\Cas30Controller or in any methods called in the constructor (see https://psalm.dev/074)

src/Controller/LoginController.php:35:22: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\LoginController::$logger is not defined in constructor of SimpleSAML\Module\casserver\Controller\LoginController or in any private or final methods called in the constructor (see https://psalm.dev/074)

src/Controller/LoginController.php:41:29: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\LoginController::$ticketFactory is not defined in constructor of SimpleSAML\Module\casserver\Controller\LoginController or in any private or final methods called in the constructor (see https://psalm.dev/074)

src/Controller/LoginController.php:50:21: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\LoginController::$cas20Protocol is not defined in constructor of SimpleSAML\Module\casserver\Controller\LoginController or in any private or final methods called in the constructor (see https://psalm.dev/074)

src/Controller/LoginController.php:53:27: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\LoginController::$ticketStore is not defined in constructor of SimpleSAML\Module\casserver\Controller\LoginController or in any private or final methods called in the constructor (see https://psalm.dev/074)

src/Controller/LoginController.php:59:21: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Controller\LoginController::$idpList is not defined in constructor of SimpleSAML\Module\casserver\Controller\LoginController or in any private or final methods called in the constructor (see https://psalm.dev/074)

tests/src/AttributeExtractorTest.php:23:9: PossiblyUndefinedVariable: Possibly undefined variable $state, first seen on line 23 (see https://psalm.dev/018)

tests/src/AttributeExtractorTest.php:49:9: PossiblyUndefinedVariable: Possibly undefined variable $state, first seen on line 49 (see https://psalm.dev/018)

tests/src/AttributeExtractorTest.php:79:9: PossiblyUndefinedVariable: Possibly undefined variable $state, first seen on line 79 (see https://psalm.dev/018)

tests/src/AttributeExtractorTest.php:105:9: PossiblyUndefinedVariable: Possibly undefined variable $state, first seen on line 105 (see https://psalm.dev/018)

tests/src/AttributeExtractorTest.php:145:9: PossiblyUndefinedVariable: Possibly undefined variable $state, first seen on line 145 (see https://psalm.dev/018)

tests/src/Cas/Protocol/Cas20Test.php:16:27: PropertyNotSetInConstructor: Property SimpleSAML\Casserver\Cas20Test::$document is not defined in constructor of SimpleSAML\Casserver\Cas20Test or in any methods called in the constructor (see https://psalm.dev/074)

tests/src/Cas/Protocol/Cas20Test.php:62:47: PossiblyNullArrayAccess: Cannot access array value on possibly null variable of type array<array-key, SimpleXMLElement>|false|null (see https://psalm.dev/079)

tests/src/Cas/Protocol/Cas20Test.php:62:61: PossiblyFalseReference: Cannot call method xpath on possibly false value (see https://psalm.dev/105)

tests/src/Cas/Protocol/Cas20Test.php:63:45: PossiblyNullArrayAccess: Cannot access array value on possibly null variable of type array<array-key, SimpleXMLElement>|false|null (see https://psalm.dev/079)