Labels
Labels
33 labels
- Something isn't working
- Pull requests that update a dependency file
- Improvements or additions to documentation
- This issue or pull request already exists
- Improvement of existing functionality
- Integration with 3rd party tools
- Request for new functionality
- Pull requests that update GitHub Actions code
- Good for newcomers
- Functionality that still needs to ported from the the old Spicy research prototype
- Issues related to the HILTI or Spicy runtime libraries
- Pull requests that update Submodules code