Skip to content

Releases: runtimeverification/skribe

v0.1.1: Hotfix/workflows (#4)

20 Mar 11:42
a57c5a9
Compare
Choose a tag to compare
* deps/kwasm_release: Set Version 0.1.123

* Update test.yaml

* modified:   package/version.sh
- file was not executable

* Set Version: 0.1.1

* Add `update.yaml`

* Add dummy test to pass unit test stage

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>

v0.1.0: Initialize project (#1)

19 Mar 14:44
d511189
Compare
Choose a tag to compare
* add LICENSE

* remove hello.py

* add dependencies

* add `kdist` setup

* add `poetry.lock`

* add integration tests

* add versioning

* add CI tests