mirror of
https://github.com/ovh/the-bastion.git
synced 2026-05-09 08:25:27 +02:00
[PR #95] [MERGED] chore: checks_basic: verify that autogenerated doc is up to date #233
Labels
No labels
answered
bug
documentation
enhancement
enhancement
feature
feature
kept-open-for-info
pull-request
question
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/the-bastion#233
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/ovh/the-bastion/pull/95
Author: @speed47
Created: 12/15/2020
Status: ✅ Merged
Merged: 12/15/2020
Merged by: @speed47
Base:
master← Head:autogenerated📝 Commits (1)
78c47cbchore: checks_basic: verify that autogenerated doc is up to date📊 Changes
9 files changed (+28 additions, -15 deletions)
View changed files
📝
.github/workflows/tests_basic.yml(+13 -2)📝
doc/sphinx/Makefile(+4 -2)📝
doc/sphinx/build-plugins-help.sh(+2 -2)📝
doc/sphinx/plugins/index.rst(+2 -2)📝
doc/sphinx/plugins/open/clush.rst(+1 -1)📝
doc/sphinx/plugins/open/index.rst(+1 -1)📝
doc/sphinx/plugins/restricted/index.rst(+2 -2)📝
doc/sphinx/plugins/restricted/realmInfo.rst(+1 -1)📝
doc/sphinx/plugins/restricted/selfAddPersonalAccess.rst(+2 -2)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.