Skip to content

chore: Add initial workflows, licence and docs #1

chore: Add initial workflows, licence and docs

chore: Add initial workflows, licence and docs #1

Triggered via pull request November 10, 2024 22:07
Status Success
Total duration 1m 9s
Artifacts 2

docs.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
docs: docs/dev/guidelines/server-tests.rst#L5
undefined label: 'best_practices_for_test_cases'
docs: docs/dev/setup.rst#L57
undefined label: 'admin_setup'
docs: docs/dev/setup.rst#L64
undefined label: 'extensions_setup'
docs: docs/dev/setup/integrated-code-lifecycle.rst#L124
undefined label: 'configure-ssh-access'
docs: docs/dev/setup/jenkins-gitlab.rst#L1182
undefined label: 'programming_exercises'
docs: docs/dev/setup/jenkins-localvc.rst#L778
undefined label: 'programming_exercises'

Artifacts

Produced during runtime
Name Size
Documentation
9.9 MB
github-pages Expired
9.85 MB