Use Worker name as an ID
Before raising an issue, please check our issue tracker. Your issue may have already been reported by another user.
- https://gitlab.ics.muni.cz/groups/cryton/-/issues (internal tracker)
- https://gitlab.com/groups/cryton-toolset/-/issues (public tracker)
If the issue exists only in the internal Gitlab tracker, and you want to join the discussion, feel free to open a new issue in the public one.
If you feel the issue can be categorized as a reproducible bug or a feature proposal, please use one of the issue templates provided and include as much information as possible.
Thank you for helping and taking the time to participate.