Skip to content

Add CI workflow to trigger publishing on learn-latest-html-pages repo#1334

Merged
gusthoff merged 1 commit intoAdaCore:mainfrom
gusthoff:topic/infrastructure/github_actions/20260328/publish-learn-latest_github_commits
Mar 28, 2026
Merged

Add CI workflow to trigger publishing on learn-latest-html-pages repo#1334
gusthoff merged 1 commit intoAdaCore:mainfrom
gusthoff:topic/infrastructure/github_actions/20260328/publish-learn-latest_github_commits

Commits

Commits on Mar 28, 2026