From f40789d8b7a020ddab9bfc124b2756085de32733 Mon Sep 17 00:00:00 2001
From: Giovanni Toraldo <me@gionn.net>
Date: Sun, 18 Oct 2026 08:22:43 +0200
Subject: [PATCH] Drop GitHub Pages deploy workflow and rename pre-checks to ci

---
 .github/workflows/{pre-checks.yml => ci.yml} |  2 +-
 .github/workflows/pages.yml                  | 47 --------------------
 2 files changed, 1 insertion(+), 48 deletions(-)
 rename .github/workflows/{pre-checks.yml => ci.yml} (94%)
 delete mode 100644 .github/workflows/pages.yml

diff --git a/.github/workflows/pre-checks.yml b/.github/workflows/ci.yml
similarity index 94%
rename from .github/workflows/pre-checks.yml
rename to .github/workflows/ci.yml
index a8429e1..18bb81e 100644
--- a/.github/workflows/pre-checks.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-name: pre-checks
+name: ci
 
 on:
   pull_request:
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
deleted file mode 100644
index beeaa49..0000000
--- a/.github/workflows/pages.yml
+++ /dev/null
@@ -1,47 +0,0 @@
-name: Deploy Jekyll site to Pages
-
-on:
-  push:
-    branches: [master]
-  workflow_dispatch:
-
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-concurrency:
-  group: pages
-  cancel-in-progress: true
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
-
-      - name: Set up Ruby
-        uses: ruby/setup-ruby@984c0c890880bbf811283d6f09c4607c62d210a4 # v1.323.0
-        with:
-          ruby-version: '3.3'
-          bundler-cache: true
-
-      - name: Build site
-        run: bundle exec jekyll build
-
-      - name: Upload Pages artifact
-        uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
-        with:
-          path: ./_site
-
-  deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@368f82528645a54fb793d4d04e342629a3f51346 # v5.0.1