Publish docs via GitHub Pages

Workflow runs for Publish docs via GitHub Pages

• update cours

  completed successfully:
  Publish docs via GitHub Pages#9:Commit7d6d7b9pushedbyazarz
  main

  Oct 1, 202631s
  More actions for workflow run 9

• Update TP intro

  completed successfully:
  Publish docs via GitHub Pages#8:Commit2941281pushedbyazarz
  main

  Sep 30, 202638s
  More actions for workflow run 8

• add requirement

  completed successfully:
  Publish docs via GitHub Pages#7:Commitb6ba8fapushedbyazarz
  main

  Sep 24, 202635s
  More actions for workflow run 7

• add plugin open-in-new-tab

  failed:
  Publish docs via GitHub Pages#6:Commit3b8e80cpushedbyazarz
  main

  Sep 24, 202632s
  More actions for workflow run 6

• update déroulé for 2026

  completed successfully:
  Publish docs via GitHub Pages#5:Commit56aa40epushedbyazarz
  main

  Sep 24, 202632s
  More actions for workflow run 5

• Change site name in mkdocs configuration

  completed successfully:
  Publish docs via GitHub Pages#4:Commit7049e28pushedbyazarz
  main

  May 12, 202637s
  More actions for workflow run 4

• mise en forme mkdocs 2

  completed successfully:
  Publish docs via GitHub Pages#3:Commit8bd1789pushedbyazarz
  main

  Jan 28, 202628s
  More actions for workflow run 3

• mise en forme mkdocs

  completed successfully:
  Publish docs via GitHub Pages#2:Commit37284a0pushedbyazarz
  main

  Jan 28, 202628s
  More actions for workflow run 2

• add mkdocs

  completed successfully:
  Publish docs via GitHub Pages#1:Commitb1a7352pushedbyazarz
  main

  Jan 28, 202630s
  More actions for workflow run 1