Labels · clicepfl/website

bug

Something isn't working

build

Improves the build system (devcontainer, dependencies, ...)

chore

Generic chore that does not affect the source code

ci

Related to online continuous integration tools (e.g. Github Actions)

Pull requests that update a dependency file

devops

Related to production deployment and releases

docs

Improvements or additions to documentation

This issue or pull request already exists

feature

New feature or request

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

question

Further information is requested

UI

wontfix

This will not be worked on

Provide feedback