Merge pull request '🔧 chore(ci): removed old github workflow folder' (#4) from fix/action into main

Reviewed-on: https://git.polytech.djalim.fr/admin/PolyMPR/pulls/4
2026-01-09 11:52:25 +00:00
parent 2615961bf1 81a3fc0e03
commit 2ce78547b7
1 changed files with 0 additions and 26 deletions
@@ -1,26 +0,0 @@
 name: "Check Deno code"
 on:
  pull_request:
    branches:
      - main
 permissions:
  contents: read
 jobs:
  check-code:
    name: "Check Deno code"
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: denoland/setup-deno@v2
        with:
          deno-version: v2.x
      - name: Check formatting
        run: deno fmt --check
      - name: Check linting
        run: deno lint