Labels

• bug

  Something isn't working
• build: pre-commit

  Related to the pre-commit hooks
• build: scripts

  Related to the (Python) scripts used for building the page
• build: sphinx

  Related to building the page with sphinx
• build: workflow

  Related to the GH actions workflow for build or deploying the page
• dependencies

  Pull requests that update a dependency file
• documentation

  Documentation on the tooling around the webpage
• duplicate

  This issue or pull request already exists
• easy
• enhancement

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• i18n

  Localisation and internationalisation of the webpage
• i18n: Chinese

  Relevant for Chinese translation, this thread might be in Chinese ;)
• i18n: Czech

  Relevant for Czech translation, this thread might be in Czech ;)
• i18n: Dutch

  Relevant for Dutch translation, this thread might be in Dutch ;)
• i18n: French

  Relevant for French translation, this thread might be in French ;)
• i18n: German

  Relevant for German translation, this thread might be in German ;)
• i18n: Japanese

  Relevant for Japanese translation, this thread might be in Japanese ;)
• i18n: Portuguese

  Relevant for Portuguese translation, this thread might be in Portuguese ;)
• i18n: Russian

  Relevant for Russian translation, this thread might be in Russian ;)
• i18n: Spanish

  Relevant for Spanish translation, this thread might be in Spanish ;)
• invalid

  This doesn't seem right
• python

  Pull requests that update Python code
• question

  Further information is requested
• section: community

  Relevant for the community section on the webpage
• section: compiler

  Relevant for the compiler section on the webpage
• section: learn

  Relevant for the learn section on the webpage
• section: main

  Related to the landing page