🟢Toevoegen van nieuwe folders voor Gitpagina

Voeg dit toe bij:
test: -> script: time cp -rf {FOLDER_NAAM} public

Doe hetzelfde bij:
pages: -> script: time cp -rf {FOLDER_NAAM} public

image: python:3.9-slim

before_script:
  # install Git for the mkdocs revision plugin
  - time apt update && apt-get install -y git
  # Install mkdocs and theme
  - time pip install -r requirements.txt

test:
  stage: test
  tags:
    - hva
  script:
  - time mkdocs build --site-dir test
  - time cp -rf game public
  - time cp -rf game_old_versions public
  artifacts:
    paths:
    - test
  rules:
    - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
      when: never

pages:
  stage: deploy
  tags:
    - hva
  variables:
    ENABLED_GIT_REVISION_DATE: "true"
    GIT_DEPTH: 1000
  script:
  - time mkdocs build --site-dir public
  - time cp -rf game public
  - time cp -rf game_old_versions public
  artifacts:
    paths:
    - public
  rules:
    - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH

---

Last update: October 12, 2022