ci: move workflows to .gitea now that Gitea is the primary forge

2026-09-28 19:48:57 +02:00
parent 581e4cf037
commit 9eab6551e6
1 changed files with 0 additions and 0 deletions
@@ -0,0 +1,27 @@
+name: ci
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+      # Les images du runner Gitea n'embarquent pas rustup.
+      - run: |
+          command -v rustup || {
+            curl -sSf https://sh.rustup.rs | sh -s -- -y --profile minimal --default-toolchain none
+            echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
+          }
+      - run: rustup toolchain install
+      - uses: Swatinem/rust-cache@v2
+      - run: cargo fmt --all --check
+      - run: cargo clippy --all-targets -- -D warnings
+      - uses: taiki-e/install-action@v2
+        with:
+          tool: cargo-llvm-cov,cargo-deny
+      - run: cargo llvm-cov --fail-under-lines 80 --ignore-filename-regex 'main\.rs$'
+      - run: cargo deny check advisories