Release 1.23.3 #51

Job	Run time
jvm-build	1m 52s
native-build (macos-latest, riddlc-macos-arm64, arm64)	3m 0s
native-build (ubuntu-latest, riddlc-linux-x86_64, x86_64)	3m 50s
notify-blog	2s
update-homebrew	4s
	8m 48s

Provide feedback