Skip to content

test: Replace difftest model with Quint=>MBT #15

test: Replace difftest model with Quint=>MBT

test: Replace difftest model with Quint=>MBT #15

Workflow file for this run

name: Check Markdown links
on:
pull_request:
paths:
- "*.md"
- "docs/docs/**.md"
jobs:
repo-root:
runs-on: ubuntu-latest
steps:
# Check out the latest version of the code
- uses: actions/checkout@v4
# Checks the status of hyperlinks in *.md files in the repo root
- uses: gaurav-nelson/[email protected]
with:
folder-path: '.'
max-depth: 1
docs:
runs-on: ubuntu-latest
steps:
# Check out the latest version of the code
- uses: actions/checkout@v4
# Checks the status of hyperlinks in *.md files in the docs/docs folder
- uses: gaurav-nelson/[email protected]
with:
folder-path: 'docs/docs'