Fix actions without payloads and fix Uclid parsing error #3910

Job	Run time
check-diff / check	25s
serialization / serialization-tests	10m 6s
c / ccpp / regular-tests (ubuntu-latest)	21m 29s
c / benchmarking / benchmark-tests	7m 0s
c / default / regular-tests (ubuntu-latest)	4m 20s
c / verifier / run (ubuntu-latest)	5m 49s
cpp / cpp-benchmark-tests / benchmark-tests	11m 52s
cpp / cpp-ros2-tests / cpp-ros2-tests	42m 22s
cpp / cpp-tests / regular-tests (ubuntu-latest)	50m 52s
py / py-tests / regular-tests (ubuntu-latest)	7m 34s
ts / ts-tests / regular-tests (ubuntu-latest)	2m 52s
ts / benchmarking / benchmark-tests	5m 55s
rs / rs-benchmark-tests / benchmark-tests	15m 24s
rs / rs-tests / regular-tests (ubuntu-latest, stable)	10m 44s
	3h 16m 44s

Provide feedback