Differential D8887

Migrate to sphinx-design
ClosedPublic
Actions

Authored by lunar on Nov 28 2022, 12:12 PM.

Details

Reviewers

vlorentz

Group Reviewers

Reviewers

Commits

rDDOCefc955759316: Migrate to sphinx-design

Summary

sphinx-design is an iteration on sphinx-panels and intends to replace
it. It offers more interesting web components like cards which we will
be happy to use for the landing page.

Migration tips are available at:
https://sphinx-design.readthedocs.io/en/rtd-theme/get_started.html#migrating-from-sphinx-panels

Diff Detail

Repository

rDDOC Development documentation

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

Event Timeline

lunar created this revision.Nov 28 2022, 12:12 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptNov 28 2022, 12:12 PM

Build is green

Patch application report for D8887 (id=32038)

Rebasing onto a73683535d...

Current branch diff-target is up to date.

Changes applied before test

commit efc955759316cc7adfd39f8c78c4c97825916ace
Author: Jérémy Bobbio (Lunar) <lunar@softwareheritage.org>
Date:   Mon Nov 28 12:08:19 2022 +0100

    Migrate to sphinx-design
    
    sphinx-design is an iteration on sphinx-panels and intends to replace
    it. It offers more interesting web components like cards which we will
    be happy to use for the landing page.
    
    Migration tips are available at:
    https://sphinx-design.readthedocs.io/en/rtd-theme/get_started.html#migrating-from-sphinx-panels

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/275/ for more details.

Harbormaster completed remote builds in B32987: Diff 32038.Nov 28 2022, 12:19 PM

lunar requested review of this revision.Nov 28 2022, 12:19 PM