PR #2234 ci: deploy docs when they change

ci: deploy docs when they change #2234

dunglas merged 3 commits into main from ci/deploy-docs

dunglas requested a review from

copilot-pull-request-reviewer 21 days ago

copilot-pull-request-reviewer commented on 2026-03-03

dunglas force pushed from c8428d16 to 2a8485d1 20 days ago

php deleted a comment from copilot-pull-request-reviewer on 2026-03-04

henderkes approved these changes on 2026-03-04

alexandre-daubois approved these changes on 2026-03-04

dunglas requested a review from

copilot-pull-request-reviewer 20 days ago

copilot-pull-request-reviewer commented on 2026-03-04

ci: deploy docs when they change

fe7f98cb

Update .github/workflows/docs.yaml

08fa893d

permissions and slim image

b0996296

dunglas force pushed from bfb8ab2f to b0996296 19 days ago

dunglas merged 5d447410 into main 19 days ago

dunglas deleted the ci/deploy-docs branch 19 days ago

Reviewers

alexandre-daubois

henderkes

Assignees

No one assigned

Labels

None yet

Milestone

No milestone