Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

test: verify locally derived completion #58

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

nikku
Copy link
Member

@nikku nikku commented Jun 16, 2024

Related to #57

Proposed Changes

Work in progress verification of local code intelligence.

Checklist

To ensure you provided everything we need to look at your PR:

  • Brief textual description of the changes present
  • Visual demo attached
  • Steps to try out present, i.e. using the @bpmn-io/sr tool
  • Related issue linked via Closes {LINK_TO_ISSUE} or Related to {LINK_TO_ISSUE}

@bpmn-io-tasks bpmn-io-tasks bot added the in progress Currently worked on label Jun 16, 2024
@nikku nikku force-pushed the verify-local-completion branch from dbbcd78 to be1ec9a Compare June 16, 2024 21:15
Base automatically changed from rewrite to main June 18, 2024 07:40
@nikku nikku added the ready Ready to be worked on label Jul 1, 2024 — with bpmn-io-tasks
@nikku nikku removed the in progress Currently worked on label Jul 1, 2024
@nikku nikku added the in progress Currently worked on label Jan 22, 2025 — with bpmn-io-tasks
@nikku nikku removed the ready Ready to be worked on label Jan 22, 2025
@nikku nikku force-pushed the verify-local-completion branch from be1ec9a to ef8500f Compare January 22, 2025 19:57
@nikku nikku added the backlog Queued in backlog label Jan 23, 2025 — with bpmn-io-tasks
@nikku nikku removed the in progress Currently worked on label Jan 23, 2025
@nikku
Copy link
Member Author

nikku commented Jan 23, 2025

I don't plan further work on this PR, it requires smart local editing to be part of the editor.

Related to nikku/lang-feel#2.

@nikku nikku removed their assignment Jan 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backlog Queued in backlog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant