|
Ran
|
Jobs
1
|
Files
20
|
Run time
1min
|
Badge
README BADGES
|
push
github
Add opt-in lazy Modelica syntax diagnostics (#89) * Add opt-in lazy Modelica syntax diagnostics Default syntax checking off, with live configuration and a shared debounced queue for open documents. Clear diagnostics on fixes, close and disabling. Cover malformed files, Unicode positions, CRLF, many tabs and cancellation. Co-authored-by: JKRT <jtinnerholm@gmail.com> * Clear stale diagnostics on failure and stress-test queued checks Publish an empty current-version report if parsing or collection fails, while retaining failure logging. Test recovery and temporary-tree cleanup. Exercise 41 documents including 50,000 declarations over real LSP transport. Co-authored-by: JKRT <jtinnerholm@gmail.com> * Add separate MSL sanity CI job and update bundled grammar Check all Modelica sources in pinned MSL 4.1.0, including embedded examples. Fail on any diagnostic or runner error. Upgrade to released tree-sitter Modelica v0.2.3 to fix quoted identifiers and empty equation sections. WASM SHA256: a47d66002e7252115627c4ab96e415665 Co-authored-by: JKRT <jtinnerholm@gmail.com> * Compare incremental diagnostics with freshly opened documents Cover repeated syntax errors and fixes, Unicode offsets, line insertion, and LF/CRLF using the bundled server over LSP. Co-authored-by: JKRT <jtinnerholm@gmail.com> --------- Co-authored-by: SVAGEN26 <247156613+SVAGEN26@users.noreply.github.com> Co-authored-by: JKRT <jtinnerholm@gmail.com>
735 of 914 branches covered (80.42%)
Branch coverage included in aggregate %.
287 of 336 new or added lines in 4 files covered. (85.42%)
3672 of 4594 relevant lines covered (79.93%)
128.19 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 42 |
33.66
|
-1.74% | server/src/server.ts |
| 4 |
94.21
|
server/src/util/diagnosticQueue.ts | |
| 3 |
93.23
|
server/src/sanity/msl.ts |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 35861968904.1 | 20 |
80.01
|
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|