summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdam Sandberg Ericsson <adam@sandbergericsson.se>2023-03-12 11:02:11 +0000
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-03-21 11:17:53 -0400
commit898afaef53470adbc03b4a8272c209b6f9aed6fa (patch)
tree00fd2184716299c70b173a48152dae46fc3abc9f
parentab1c25e866ed39d60e378a6f46c0c89a39e599cd (diff)
downloadhaskell-898afaef53470adbc03b4a8272c209b6f9aed6fa.tar.gz
docs: add TASK_DELETE event in eventlog encodings
-rw-r--r--docs/users_guide/eventlog-formats.rst9
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/users_guide/eventlog-formats.rst b/docs/users_guide/eventlog-formats.rst
index ec8f280579..e77e971a87 100644
--- a/docs/users_guide/eventlog-formats.rst
+++ b/docs/users_guide/eventlog-formats.rst
@@ -539,6 +539,15 @@ Task events
Marks the migration of a task to a new capability.
+.. event-type:: TASK_DELETE
+
+ :tag: 57
+ :length: fixed
+ :field TaskId: task id
+
+ Marks the deletion of a task.
+
+
Tracing events
~~~~~~~~~~~~~~