Lint code in Github

Enable actions in Github on push, pull request, etc.

.devcontainer/devcontainer.json

@@ -20,6 +20,7 @@
             "extensions": [
                 "charliermarsh.ruff",
                 "editorconfig.editorconfig",
+                "github.vscode-github-actions",
                 "ms-python.black-formatter",
                 "ms-python.mypy-type-checker"
             ],

.editorconfig

@@ -7,3 +7,6 @@ charset = utf-8
 indent_style = space
 indent_size = 4
 trim_trailing_whitespace = true
+
+[*.{yml,yaml}]
+indent_size = 2

.github/workflows/main.yml

@@ -0,0 +1,24 @@
+name: Run verifications
+
+on:
+  check_run:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Install poetry
+      run: pipx install poetry
+    - uses: actions/setup-python@v4
+      with:
+        python-version: '3.12'
+        cache: 'poetry'
+    - run: poetry install
+    - run: poetry run poe lint