0790da0: Update dependency: deps/kontrol_release (#13)

* deps/kontrol_release: Set Version 0.1.38

* deps/kontrol_release: Set Version 0.1.39

---------

Co-authored-by: devops <devops@runtimeverification.com>

1a9ff15: deps/kontrol_release: Set Version 0.1.37 (#12)

Co-authored-by: devops <devops@runtimeverification.com>

f944441: Update dependency: deps/kontrol_release (#11)

* deps/kontrol_release: Set Version 0.1.35

* deps/kontrol_release: Set Version 0.1.36

---------

Co-authored-by: devops <devops@runtimeverification.com>

e07e48a: deps/kontrol_release: Set Version 0.1.34 (#10)

Co-authored-by: devops <devops@runtimeverification.com>

8031237: deps/kontrol_release: Set Version 0.1.33 (#9)

Co-authored-by: devops <devops@runtimeverification.com>

e9f3fe4: deps/kontrol_release: Set Version 0.1.32 (#8)

Co-authored-by: devops <devops@runtimeverification.com>

0f00d53: deps/kontrol_release: Set Version 0.1.25 (#7)

Co-authored-by: devops <devops@runtimeverification.com>

c23a4e2

Adding release workflow (#6)

45fe9ca: Update dependency: deps/kontrol_release (#5)

* deps/kontrol_release: Set Version 0.1.23

* deps/kontrol_release: Set Version 0.1.24

---------

Co-authored-by: devops <devops@runtimeverification.com>