Skip to content

Update soundness-notes.md (#1050) #2703

Update soundness-notes.md (#1050)

Update soundness-notes.md (#1050) #2703

Workflow file for this run

name: "Check documentation links"
on:
push:
branches:
- main
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
workflow_dispatch:
permissions:
contents: read
jobs:
linkChecker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Link Checker
uses: lycheeverse/[email protected]
with:
# Can switch to true once we run clean
fail: false
env:
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}