src/Cas/AttributeExtractor.php:58: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: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:86:49: PossiblyNullArgument: Argument 2 of array_key_exists cannot be null, possibly null value provided (see https://psalm.dev/078)

src/Cas/AttributeExtractor.php:112: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:113: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:153: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)

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:23: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:25: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:49:9: MissingParamType: Parameter $ticketStore has no provided type (see https://psalm.dev/154)

src/Controller/Cas20Controller.php:123: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:34: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: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)

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

src/Http/XmlResponse.php:9:7: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Http\XmlResponse::$charset is not defined in constructor of SimpleSAML\Module\casserver\Http\XmlResponse or in any 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)