Commit 567bf581 authored by ng's avatar ng

Merge branch '40-ci-introduce-job-to-check-for-broken-links' into 'master'

CI: Check pushed branches for broken links

Closes #40

See merge request !56
parents 30f37d3c 4ae303e8
Pipeline #22311 passed with stages
in 59 seconds