Skip to content

Commit

Permalink
Inspect code with IntelliJ IDEA in CI workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
me-johnomar authored and valentjn committed Aug 8, 2021
1 parent 0834ce6 commit 1c92d44
Show file tree
Hide file tree
Showing 185 changed files with 2,687 additions and 2 deletions.
37 changes: 37 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,42 @@ jobs:
- name: "Build LTeX LS"
run: "mvn -B -e verify"

inspect:
name: "CI - Inspect Job"
runs-on: "ubuntu-20.04"

steps:
- name: "Checkout Repository"
uses: "actions/checkout@v2"

- name: "Set up Java"
uses: "actions/setup-java@v1"
with:
java-version: "11.0.9"

- name: "Set up Python"
uses: "actions/setup-python@v2"
with:
python-version: "3.9.0"

- name: "Build LTeX LS"
run: "mvn -B -e verify"

- name: "Set LTEX_LS_IDEA_ARCHIVE_NAME and LTEX_LS_IDEA_DIRECTORY_NAME"
run: "echo -e \"LTEX_LS_IDEA_ARCHIVE_NAME=ideaIC-2021.2.tar.gz\nLTEX_LS_IDEA_DIRECTORY_NAME=idea-IC-212.4746.92\" >> $GITHUB_ENV"

- name: "Load IntelliJ IDEA from Cache"
uses: "actions/cache@v2"
with:
path: "${{ env.LTEX_LS_IDEA_DIRECTORY_NAME }}"
key: "${{ env.LTEX_LS_IDEA_DIRECTORY_NAME }}-${{ runner.os }}-v1"

- name: "Download and Extract IntelliJ IDEA If Necessary"
run: "[[ -d ${{ env.LTEX_LS_IDEA_DIRECTORY_NAME }} ]] || { wget https://download.jetbrains.com/idea/${{ env.LTEX_LS_IDEA_ARCHIVE_NAME }} && tar -xzf ${{ env.LTEX_LS_IDEA_ARCHIVE_NAME }}; }"

- name: "Inspect Code with IntelliJ IDEA"
run: "python tools/inspectWithIntellijIdea.py --idea-path ${{ env.LTEX_LS_IDEA_DIRECTORY_NAME }}"

validate:
name: "CI - Validate Job"
runs-on: "ubuntu-20.04"
Expand Down Expand Up @@ -92,6 +128,7 @@ jobs:
name: "CI - Deploy Job"
needs:
- "build"
- "inspect"
- "validate"
- "upload_coverage"
if: "${{ startsWith(github.ref, 'refs/tags/') }}"
Expand Down
2 changes: 0 additions & 2 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,8 @@

/.classpath
/.project
/ltexls.iml

/.gradle/
/.idea/
/.settings/
/target/

Expand Down
3 changes: 3 additions & 0 deletions .idea/.gitignore

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

17 changes: 17 additions & 0 deletions .idea/codeStyles/Project.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

5 changes: 5 additions & 0 deletions .idea/codeStyles/codeStyleConfig.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

16 changes: 16 additions & 0 deletions .idea/compiler.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

7 changes: 7 additions & 0 deletions .idea/encodings.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

30 changes: 30 additions & 0 deletions .idea/inspectionProfiles/Project_Default.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

20 changes: 20 additions & 0 deletions .idea/jarRepositories.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_auth0_java_jwt_3_12_0.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_carrotsearch_hppc_0_8_2.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_gitlab_dumonts_hunspell_1_1_1.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_google_android_annotations_4_1_1_4.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_google_android_tools_dx_1_7.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_google_code_cjftransform_1_0_1.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_google_code_findbugs_jsr305_3_0_2.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

13 changes: 13 additions & 0 deletions .idea/libraries/Maven__com_google_code_gson_gson_2_8_7.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 1c92d44

Please sign in to comment.