Skip to content

Conversation

lukaszsamson
Copy link
Collaborator

Summary

  • specify the server argument in notify_uris_modified/2 spec

Testing

  • mix format in project root and in apps/language_server
  • mix deps.get (fails: upstream connect error)
  • mix test (fails: can't continue due to errors on dependencies)

https://chatgpt.com/codex/tasks/task_e_685271984bfc83219b34f3c88178f91a

@lukaszsamson lukaszsamson merged commit b70cd8b into master Jun 29, 2025
30 of 32 checks passed
@lukaszsamson lukaszsamson deleted the codex/specify-server-argument-in-@spec branch June 29, 2025 08:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant