Skip to content

[DO NOT MERGE] TLA+ type annotations #85

[DO NOT MERGE] TLA+ type annotations

[DO NOT MERGE] TLA+ type annotations #85

Workflow file for this run

name: Markdown link check
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- run: ./scripts/checklinks.sh