You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[ci] [worker] Make the build flexible for non-vendored setups.#842
Merged
ejgallego merged 1 commit intomainejgallego/coq-lsp:mainfrom webbuild_flexibleejgallego/coq-lsp:webbuild_flexibleCopy head branch name to clipboardSep 29, 2024
