Check links integrity on CI

.editorconfig

@@ -20,3 +20,11 @@ indent_size = 4
 [*.toml]
 indent_style = space
 indent_size = 4
+
+[*.json]
+indent_style = space
+indent_size = 2
+
+[*.{yaml,yml}]
+indent_style = space
+indent_size = 2

.github/workflows/ci.yml

@@ -0,0 +1,32 @@
+name: CI
+
+on:
+  push:
+    branches: ["main"]
+    tags: ["*"]
+  pull_request:
+    branches: ["main"]
+  schedule:
+    - cron: "7 7 * * 3"
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+
+  ###########
+  # Testing #
+  ###########
+
+  markdown-link:
+    name: check (links)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: gaurav-nelson/github-action-markdown-link-check@v1
+        with:
+          config-file: .markdown-link-check.json
+          folder-path: ./
+          use-quiet-mode: "yes"
+          use-verbose-mode: "yes"

.markdown-link-check.json

@@ -0,0 +1,17 @@
+{
+  "ignorePatterns": [{
+    "pattern": "^https://github.com/instrumentisto/rust-incubator/generate"
+  }, {
+    "pattern": "^https://crates.io/search\\?"
+  }, {
+    "pattern": "^https://dalek.rs"
+  }, {
+    "pattern": "^https://www.cs.bgu.ac.il"
+  }],
+  "httpHeaders": [{
+    "urls": ["https://github.com/", "https://guides.github.com/", "https://help.github.com/", "https://docs.github.com/"],
+    "headers": {
+      "Accept-Encoding": "zstd, br, gzip, deflate"
+    }
+  }]
+}