Initial server-side session ticket support #205

Job	Run time
Clang Tidy	42s
Clang Tidy	42s
Clippy	29s
Clippy	29s
Clippy nightly (optional)	43s
Clippy nightly (optional)	43s
Build+test (stable, ubuntu-24.04)	2m 5s
Build+test (stable, ubuntu-24.04)	2m 23s
Build+test (stable, ubuntu-22.04)	1m 50s
Build+test (stable, ubuntu-22.04)	3m 47s
Check for documentation errors	1m 5s
Check for documentation errors	1m 5s
Format	7s
Format	7s
Build+test (beta, ubuntu-24.04)	2m 6s
Build+test (beta, ubuntu-24.04)	2m 45s
Miri	1m 22s
Miri	1m 22s
Build+test (beta, ubuntu-22.04)	2m 7s
Build+test (beta, ubuntu-22.04)	1m 56s
Packaging	3m 4s
Packaging	3m 4s
Valgrind	3m 12s
Valgrind	3m 12s
Build+test (nightly, ubuntu-24.04)	1m 58s
Build+test (nightly, ubuntu-24.04)	2m 12s
Build+test (nightly, ubuntu-22.04)	1m 57s
Build+test (nightly, ubuntu-22.04)	2m 21s
	48m 55s

Provide feedback