Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.

Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • review/instrument-specifications
2 results
Blame Permalink
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
.gitlab-ci.yml 319 B 
pages:
  stage: deploy
  script:
    - echo "Deploying pre-built HTML..."
    - cp -r docs/build/html public  # Copy the pre-built HTML to the public directory
  artifacts:
    paths:
      - public
  only:
    changes:
      - docs/source/**  # Run only if files in docs/source/ change
      - docs/Makefile