Merge pull request #86 from nspcc-dev/add-lables

docs: add minimial doc for local labels
nspcc-dev · Jan 10, 2024 · 8b6cbaa · 8b6cbaa
2 parents 6008c73 + 689a8e0
commit 8b6cbaa
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/labels.md b/docs/labels.md
@@ -0,0 +1,9 @@
+# Project-specific labels
+
+## Component
+
+Currently only these ones are used, but the list can be extended in future:
+
+- tla+
+
+  Related to the TLA+ algorithm specification