CI

Add UserStore; pull out getUser, userDisplayName, others #3785

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	9m 4s
check	12m 59s
check	9m 7s
check	10m 25s
	41m 35s