Labels

• dependencies

  Pull requests that update a dependency file
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• release

  Pull requests that publish a new release
• rust

  Pull requests that update Rust code
• status: blocked

  Issue or pull request is blocked by another issue or pull request, or some outside circumstance
• status: duplicate

  This issue or pull request already exists
• status: invalid

  This doesn't seem right
• status: wontfix

  This will not be worked on
• topic: build

  Anything relating to the build system.
• topic: core

  Issues relating to core geometry, operations, algorithms
• topic: display

  Displaying Fornjot models
• topic: documentation

  Improvements or additions to documentation
• topic: export

  Exporting to external file formats
• topic: validation

  Infrastructure for checking various properties of objects, making sure they are valid.
• type: bug

  Something isn't working
• type: development

  Work to ease development or maintenance, without direct effect on features or bugs
• type: enhancement

  New features and improvements to existing features
• type: planning

  Issues about project planning