diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ddd4ecd7d2..b36574782b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,10 +12,13 @@ on: jobs: build: - runs-on: ubuntu-latest + name: Build on ${{matrix.os}} with Java ${{matrix.java}} + runs-on: ${{matrix.os}} strategy: + fail-fast: false matrix: java: [8, 11, 17, 21] + os: [ubunutu-latest, windows-latest] steps: - name: Checkout uses: actions/checkout@v4 diff --git a/.github/workflows/document-lint.yml b/.github/workflows/document-lint.yml index 27e921f302..6c0696c0f8 100644 --- a/.github/workflows/document-lint.yml +++ b/.github/workflows/document-lint.yml @@ -17,8 +17,9 @@ jobs: - name: Checkout uses: actions/checkout@v4 - - run: npm install -g markdownlint-cli - + - run: npm install -g markdownlint-cli@0.40.0 + # Run markdown lint with the following rules disabled: + # no hard tabs, line length, no duplicate heading, ordered list item prefix, no inline html and no emphasis as heading - name: use markdownlint-cli to lint markdown file run: | find ./ -name "*.md" | grep -v vendor | grep -v commandline | grep -v .github | grep -v swagger | grep -v api | \