diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index fbd9dd1..cbe5aee 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -30,7 +30,6 @@ jobs:
         toolchain:
           - stable
           - beta
-          - nightly
     steps:
       - uses: arduino/setup-protoc@v3
         with:
@@ -49,7 +48,6 @@ jobs:
         toolchain:
           - stable
           - beta
-          - nightly
     steps:
       - uses: arduino/setup-protoc@v3
         with:
diff --git a/dist/lua/annotations.lua b/dist/lua/annotations.lua
index df02187..5f91405 100644
--- a/dist/lua/annotations.lua
+++ b/dist/lua/annotations.lua
@@ -324,8 +324,9 @@ function Workspace:fetch_users(path) end
 function Workspace:fetch_buffer_users(path) end
 
 ---@class (exact) WorkspaceEvent
----@field type string
----@field value string
+---@field type string can be "UserJoin", "UserLeave" or "FileTreeUpdated"
+---@field name? string present for "UserJoin" and "UserLeave"
+---@field path? string present for "FileTreeUpdated"
 
 ---@return MaybeWorkspaceEventPromise
 ---@async