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

feat: add JSON schema for fortls configuration #226

Merged
merged 3 commits into from
Nov 11, 2022
Merged

Conversation

gnikit
Copy link
Member

@gnikit gnikit commented Nov 10, 2022

Adds a JSON schema validator for the configuration options offered. The schema is autogenerated via the CLI.

It also changes how the version display happens.

Fixes #204

@codecov
Copy link

codecov bot commented Nov 10, 2022

Codecov Report

Merging #226 (2bb95d8) into master (15447dc) will increase coverage by 0.00%.
The diff coverage is 100.00%.

❗ Current head 2bb95d8 differs from pull request most recent head ce79fa8. Consider uploading reports for the commit ce79fa8 to get more accurate results

@@           Coverage Diff           @@
##           master     #226   +/-   ##
=======================================
  Coverage   86.34%   86.35%           
=======================================
  Files          12       12           
  Lines        4454     4455    +1     
=======================================
+ Hits         3846     3847    +1     
  Misses        608      608           
Impacted Files Coverage Δ
fortls/interface.py 100.00% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

No explicit option needed in main to display version
@gnikit gnikit force-pushed the gnikit/issue204 branch 3 times, most recently from f649963 to e2eaa98 Compare November 11, 2022 03:05
Adds automated schema generation based on the CLI.
Attaches the schema as a release object in GitHub releases.
Adds check on main CI for schema being up to date.
Excludes schema from coverage report.
@gnikit gnikit merged commit ebce1d6 into master Nov 11, 2022
@gnikit gnikit deleted the gnikit/issue204 branch November 11, 2022 04:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

feat: schema for configuration files
1 participant