diff options
author | Adam Sandberg Ericsson <adam@sandbergericsson.se> | 2023-03-12 11:02:11 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-21 11:17:53 -0400 |
commit | 898afaef53470adbc03b4a8272c209b6f9aed6fa (patch) | |
tree | 00fd2184716299c70b173a48152dae46fc3abc9f | |
parent | ab1c25e866ed39d60e378a6f46c0c89a39e599cd (diff) | |
download | haskell-898afaef53470adbc03b4a8272c209b6f9aed6fa.tar.gz |
docs: add TASK_DELETE event in eventlog encodings
-rw-r--r-- | docs/users_guide/eventlog-formats.rst | 9 |
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 ~~~~~~~~~~~~~~ |