demo: container paths

.github/workflows/demo.yml

@@ -0,0 +1,44 @@
+name: Demo
+
+on:
+  push:
+
+jobs:
+  build:
+    name: Build test image
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v3
+
+      - name: Login to GitHub Container Registry
+        uses: docker/login-action@v3
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Build and push
+        uses: docker/build-push-action@v5
+        with:
+          push: true
+          tags: ghcr.io/${{ github.repository }}:demo-container-paths
+
+  lint:
+    name: Lint
+    needs: [build]
+    runs-on: ubuntu-22.04
+    container:
+      image: ghcr.io/${{ github.repository }}:demo-container-paths
+      credentials:
+        username: ${{ github.actor }}
+        password: ${{ secrets.GITHUB_TOKEN }}
+    steps:
+      - name: Pyright
+        uses: jakebailey/pyright-action@v2
+        with:
+          version: PATH
+          working-directory: /opt/demo

Dockerfile

@@ -0,0 +1,15 @@
+FROM python:3.11-slim
+
+RUN apt-get update && apt-get install --no-install-recommends --yes \
+  nodejs \
+  npm \
+  && rm -rf /var/lib/apt/lists/*
+
+RUN npm install --global pyright
+
+RUN useradd --shell "/usr/bin/bash" --create-home demo
+RUN mkdir -p /opt/demo && chown demo:demo /opt/demo
+WORKDIR /opt/demo
+USER demo
+
+COPY ./demo.py ./pyproject.toml ./

demo.py

@@ -0,0 +1 @@
+"foo" + 1

pyproject.toml

@@ -0,0 +1,3 @@
+[tool.pyright]
+include = ["demo.py"]
+typeCheckingMode = "strict"