static analysis

Fix #101: Rename `UserAuth` to `WebAuth`, mark `UserAuth` as deprecat… #525

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
psalm / PHP 8.1-ubuntu-latest	18s
psalm / PHP 8.2-ubuntu-latest	28s
psalm / PHP 8.3-ubuntu-latest	19s
	1m 5s