Labels · cda-tum/setup-z3

bug

Something isn't working

c++

Anything related to C++ code

Anything related to the CI setup

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update Github_actions code

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

Pull requests that update Javascript code

minor

Changes that result in a minor version bump

Anything related to Python packaging

python

Anything related to Python code

question

Further information is requested

Pull requests that update Submodules code

Anything related to usability

wontfix

This will not be worked on

Provide feedback