Skip to content

Add Support for Highlighting Multiple Words in the Same Line #2887

Add Support for Highlighting Multiple Words in the Same Line

Add Support for Highlighting Multiple Words in the Same Line #2887

Workflow file for this run

name: CI
on:
push:
branches:
- master
tags:
- 'v[0-9]+.[0-9]+.[0-9]+'
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
test:
strategy:
matrix:
platform: [ubuntu-latest, macos-latest, windows-latest]
runs-on: ${{ matrix.platform }}
steps:
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
with:
node-version: '16'
- name: Install Graphviz
uses: tlylt/install-graphviz@v1
- name: Install Java
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'temurin'
- run: npm run setup
- run: npm run test
- name: Upload coverage report to Codecov
uses: codecov/codecov-action@v3
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
check-docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
with:
node-version: '16'
- name: Install Graphviz
uses: tlylt/install-graphviz@v1
- name: Install Java
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'temurin'
- run: npm run setup
- run: npm run build:web
- name: Build MarkBind docs (UG + DG)
run: npm run build:docs
- name: Check build log
run: |
log_file="docs/_markbind/logs/markbind-$(date +'%Y-%m-%d').log"
pattern="^[0-9T:.Z-]+ - (warn|error):"
if grep -q -E "$pattern" "$log_file"; then
printf "The following issues were found when building the documentation:\n"
grep -E "$pattern" "$log_file"
exit 1
fi
deploy-docs:
needs: test
# disabled on forks
if: github.event_name == 'push' && github.repository == 'MarkBind/markbind'
runs-on: ubuntu-latest
env:
GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
steps:
- uses: actions/checkout@v3
- uses: actions/setup-node@v3
with:
node-version: '16'
- name: Install Graphviz
uses: tlylt/install-graphviz@v1
- name: Install Java
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'temurin'
- run: npm run setup
- name: Deploy DG on any commit to master, to markbind.org/devdocs
run: >-
npm run build:web &&
npm run build:dg &&
npm run deploy:dg
- name: Deploy UG on release, to markbind.org
if: github.ref_type == 'tag'
run: >-
npm run build:ug &&
npm run deploy:ug