v1.2.4.13

What's Changed

Other Changes

• Release v1.2.4.11 (p4lang#4646) by @rst0git in #3

New Contributors

• @rst0git made their first contribution in #3

Full Changelog: v1.2.4.12...v1.2.4.13

v1.2.4.12

Full Changelog: v1.2.3.5...v1.2.4.12

v1.2.4.5

update

Signed-off-by: Radostin Stoyanov <radostin@redhat.com>

v1.2.4.4

ci/release: enable push

Signed-off-by: Radostin Stoyanov <radostin@redhat.com>

v1.2.4.3

ci/release: enable push

Signed-off-by: Radostin Stoyanov <radostin@redhat.com>

v1.2.4.2

ci/release: create tagged container images

Signed-off-by: Radostin Stoyanov <rstoyanov@fedoraproject.org>

v1.2.3.6

test

Signed-off-by: Radostin Stoyanov <rstoyanov@fedoraproject.org>

v1.2.3.5

Unbounded random strategy to pick a branch for test generation (#3873)

v1.2.3.4

docker-image-test

Signed-off-by: Radostin Stoyanov <radostin.stoyanov@eng.ox.ac.uk>

v1.2.3.3

Use vector to populate checksum struct (#3668)