Check Markdown links

Adjust module name in README and invariant script #1701

Sign in to view logs

Triggered via push October 11, 2023 09:40

ph/quint-model-v2

Status Success

Total duration 1m 10s

Artifacts –

linkchecker.yml

on: push

markdown-link-check