informalsystems / informalsystems/modelator-py
Feature: tag outputs with version
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
In [abd3912](https://github.com/informalsystems/modelator-py/commit/abd39125aab952f72772874324240b5333407003) the tool runs without tagging outputs with the version. All outputs should be version tagged in order to help create better bug reports.
Contributor guide
Assessment
This issue has not been assessed yet.