Page MenuHomeSoftware Heritage

ci: Rename users documentation to user
ClosedPublic

Authored by ardumont on Oct 14 2021, 9:20 AM.

Details

Summary

To actually be able to build and deploy the doc after D6467 lands.

Related to T3650

Diff Detail

Repository
rCJSWH Jenkins jobs
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

ardumont edited the summary of this revision. (Show Details)
ardumont edited the summary of this revision. (Show Details)
This revision was not accepted when it landed; it landed in state Needs Review.Oct 14 2021, 6:00 PM
This revision was automatically updated to reflect the committed changes.