build

Narrow some includes in `src/user/` #2611

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04-gcc-12	14m 5s
ubuntu-22.04-gcc-11	12m 23s
ubuntu-22.04-gcc-10	12m 24s
ubuntu-22.04-gcc-9	11m 43s
ubuntu-22.04-clang-14	13m 21s
ubuntu-22.04-clang-13	13m 58s
ubuntu-20.04-clang-12	12m 44s
ubuntu-20.04-clang-11	13m 54s
ubuntu-20.04-clang-10	13m 42s
macos-13	15m 53s
windows-2022	13m 6s
	2h 27m 13s