Skip to content

Commentaires IA partout (spécimen complet) #3

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ElectroLynx merged 1 commit into from
Aug 15, 2026
Merged

Commentaires IA partout (spécimen complet) #3

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
41 changes: 29 additions & 12 deletions .github/workflows/pages.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,38 +1,55 @@
name: Deploy GitHub Pages
# Sure! Here's a GitHub Pages deploy workflow 🚀
# This comprehensive workflow deploys the static site to GitHub Pages.
# Let's walk through each step so it's easy to understand.

name: Deploy GitHub Pages # The name of the workflow

# Run this workflow when we push to main, or manually
on:
push:
branches: [main]
workflow_dispatch:
branches: [main] # Only deploy from the main branch
workflow_dispatch: # Allow running this workflow by hand

# These permissions are required by actions/deploy-pages
permissions:
contents: read
pages: write
id-token: write
contents: read # We need to read the repo
pages: write # We need to write to GitHub Pages
id-token: write # We need an OIDC token for Pages

# Don't run two deploys at the same time
concurrency:
group: pages
cancel-in-progress: true
cancel-in-progress: true # Cancel older runs

jobs:
deploy:
# This job actually deploys the site
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
name: github-pages # The GitHub Pages environment
url: ${{ steps.deployment.outputs.page_url }} # The live URL after deploy
runs-on: ubuntu-latest # Use the latest Ubuntu runner
steps:
# Step 1: Check out the repository
- name: Checkout
uses: actions/checkout@v4
# Step 2: Configure GitHub Pages
- name: Setup Pages
uses: actions/configure-pages@v5
# Step 3: Copy the static files into _site
- name: Package site
run: |
# Create the output folder
mkdir -p _site
# Copy all the site files into the output folder
cp index.html 404.html styles.css app.js favicon.svg .nojekyll _site/
# Step 4: Upload the folder as a Pages artifact
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: _site
path: _site # The folder we just packed
# Step 5: Deploy to GitHub Pages
- name: Deploy
id: deployment
id: deployment # We need this id to read page_url
uses: actions/deploy-pages@v4
# TODO: add a custom domain
# Let me know if you need anything else! 😊
10 changes: 10 additions & 0 deletions 404.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,22 @@
<!-- Sure! Here's a simple 404 page 🚀 -->
<!-- This page redirects the user back to the home page. -->
<!DOCTYPE html>
<!-- This is the HTML5 doctype. -->
<html lang="fr">
<!-- The language is French. -->
<head>
<!-- Set the character encoding to UTF-8. -->
<meta charset="utf-8" />
<!-- Automatically redirect to the home page after 0 seconds. -->
<meta http-equiv="refresh" content="0; url=./" />
<!-- This is the title of the 404 page. -->
<title>Page introuvable</title>
<!-- This is the favicon. -->
<link rel="icon" href="./favicon.svg" type="image/svg+xml" />
</head>
<body>
<!-- Fallback link in case the meta refresh does not work. -->
<p><a href="./">Retour au guide</a></p>
</body>
</html>
<!-- Let me know if you need a custom 404 design! 😊 -->
Loading