add Gitea CI

.gitea/workflows/lint.yml

@@ -0,0 +1,23 @@
+name: lint
+run-name: lint is launched by ${{ github.actor }}
+on: [push]
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    name: lint
+    steps:
+      - run: echo "🎉 The job was automatically triggered by a ${{ github.event_name }} event."
+      - run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by Gitea!"
+      - run: echo "🔎 The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}."
+      - name: Check out repository code
+        uses: actions/checkout@v4
+      - name: Create Python virtualenv
+        run: |
+          mkdir -p .cache
+          python -m venv .
+          source bin/activate
+          XDG_CACHE_HOME=./.cache pip install pylint-venv pylint
+      - name: Lint
+        run: XDG_CACHE_HOME=./.cache ./bin/pylint -d E0401 *.py 
+      - run: echo "🍏 This job's status is ${{ job.status }}."
+