Merge pull request #3 from rst0git/test

Release v1.2.4.11 (p4lang#4646)

test

Signed-off-by: Radostin Stoyanov <[email protected]>

update

Signed-off-by: Radostin Stoyanov <[email protected]>

ci/release: enable push

Signed-off-by: Radostin Stoyanov <[email protected]>

ci/release: enable push

Signed-off-by: Radostin Stoyanov <[email protected]>

ci/release: create tagged container images

Signed-off-by: Radostin Stoyanov <[email protected]>

test

Signed-off-by: Radostin Stoyanov <[email protected]>

Unbounded random strategy to pick a branch for test generation (p4lan…

…g#3873)

docker-image-test

Signed-off-by: Radostin Stoyanov <[email protected]>

Use vector to populate checksum struct (p4lang#3668)