Repository navigation

Document CI/CD pipeline - #171

Merged

denniskuijs merged 12 commits into

mainfrom

document/pipeline

Oct 26, 2026

Merged

Document CI/CD pipeline#171
denniskuijs merged 12 commits into
mainfrom
document/pipeline

Commits on Oct 19, 2026
- Document CI/CD pipeline
  Ekhorn
  committed
  1a33f6f
- Address review comments and outdated references
  Ekhorn
  committed
  ad275ee
- Add missing documentation and fix AI writing
  Ekhorn
  committed
  aa20a86
- Use admonition for note on testing dispatchable workflows
  Ekhorn
  committed
  5bf795f
- Don't repeat composite action updating rule
  Ekhorn
  committed
  b9ec506
- Restructure pipeline documentation page
  Ekhorn
  committed
  f3f00f5
- Fix AI writing
  Ekhorn
  committed
  82b296b
- Address review comments
  Ekhorn
  committed
  fc2c6d2
Commits on Oct 23, 2026
- Address remaining review comments
  Ekhorn
  committed
  0598dda
- Mention required default branch checks
  Ekhorn
  committed
  cee0fd6
Commits on Oct 26, 2026
- Apply suggestions
  Ekhorn
  committed
  ea23561
- Merge branch 'main' into document/pipeline
  denniskuijs
  authored
  2d8b41f