Skip to content

v0.1.1: Set up project (#1)
Compare
Choose a tag to compare
@github-actions github-actions released this 15 May 09:25
v0.1.1
6f35618
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
* Instantiate project template

* Add versioning

* Add dependencies

* Add `poetry.lock`

* Add `kdist` setup

* Add CI tests

* Add update workflow

* Set Version: 0.1.1

* Sync Poetry files 7.0.60

* Restore workflow trigger

---------

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