Labels

• bug

  Something isn't working
• bug_from_testsuite_run

  bugs identified from running test-suite in pipeline
• CONFIGfile_to_be_changed
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• HLspec_to_be_changed
• implementation_to_be_changed
• invalid

  This doesn't seem right
• OAS_to_be_changed
• pull-request_to_be_reviewed
• question

  Further information is requested
• testsuite_to_be_changed
• wontfix

  This will not be worked on