Interval: make public fields `final` (#4903) #1302

Job	Run time
cpp-lib-build (macos-15, clang, OFF)	36s
cpp-lib-build (macos-15, gcc, ON)	56s
cpp-lib-build (ubuntu-22.04, clang, OFF)	1m 6s
cpp-lib-build (ubuntu-22.04, gcc, OFF)	54s
cpp-lib-build (ubuntu-22.04, clang, ON)	1m 5s
cpp-lib-build (windows-2022, clang, ON)	5m 30s
cpp-lib-build (macos-15, clang, ON)	1m 4s
cpp-lib-build (windows-2022, cl)	4m 30s
cpp-lib-build (macos-15, gcc, OFF)	47s
cpp-lib-build (ubuntu-22.04, gcc, ON)	1m 2s
cpp-lib-build (windows-2022, clang, OFF)	5m 32s
build (macos-15, tool)	1m 10s
build (macos-15, cpp)	12m 16s
build (macos-15, csharp)	4m 18s
build (macos-15, go)	1m 55s
build (macos-15, javascript)	2m 3s
build (macos-15, java)	1m 23s
build (macos-15, typescript)	10m 1s
build (ubuntu-22.04, cpp)	17m 5s
build (macos-15, python3)	1m 44s
build (macos-15, dart)	8m 47s
build (ubuntu-22.04, dart)	3m 58s
build (ubuntu-22.04, java)	1m 39s
build (ubuntu-22.04, tool)	1m 7s
build (ubuntu-22.04, csharp)	6m 26s
build (ubuntu-22.04, go)	2m 38s
build (ubuntu-22.04, php)	1m 29s
build (macos-15, php)	1m 48s
build (ubuntu-22.04, javascript)	1m 40s
build (ubuntu-22.04, typescript)	10m 28s
build (ubuntu-22.04, python3)	1m 22s
build (windows-2022, csharp)	7m 20s
build (windows-2022, tool)	1m 32s
build (windows-2022, dart)	4m 41s
build (windows-2022, javascript)	2m 17s
build (windows-2022, go)	4m 14s
build (windows-2022, python3)	1m 50s
build (windows-2022, cpp)	23m 57s
build (windows-2022, java)	1m 56s
build (windows-2022, typescript)	23m 55s
build (windows-2022, php)	2m 16s
	3h 10m 17s

Provide feedback