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

[Ignore] Testing Code QL #35

Closed
wants to merge 3 commits into from
Closed

Conversation

martin-fleck-at
Copy link
Collaborator

No description provided.

Upgrade Theia to 1.43.1:
- Use Node webpack configuration for Electron for smaller package
- Adapt start script to use the new backend entry point

Upgrade GLSP to 2.0.0:
- Re-use Json-based command/operation API in GLSP server
- Adapt to new diagram configuration in GLSP client
- Remove unused CrossModelUpdateClientOperationHandler

Bonus: Fix issue with wrong updates in model service and undo/redo
@github-advanced-security
Copy link

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

Copy link

Test Results

    3 files  ±0    30 suites  ±0   1m 32s ⏱️ +14s
  68 tests ±0    68 ✔️ ±0  0 💤 ±0  0 ±0 
207 runs  ±0  207 ✔️ ±0  0 💤 ±0  0 ±0 

Results for commit d05c84b. ± Comparison against base commit ce0fa56.

@harmen-xb
Copy link
Contributor

@martin-fleck-at Can you explain briefly why you did this? Do we need to do this on a regular basis?

@martin-fleck-at
Copy link
Collaborator Author

I thought it would be nice to get some code analysis. We could follow up on it to detect some code smells if we want, I just started focusing on other things.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants