Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve the mike workflow #54

Merged
merged 11 commits into from
Aug 14, 2023
Merged

Improve the mike workflow #54

merged 11 commits into from
Aug 14, 2023

Conversation

Ludee
Copy link
Member

@Ludee Ludee commented Aug 14, 2023

Summary of the discussion

Describe the findings of the discussion in the issue or meeting.

Type of change (CHANGELOG.md)

Added

  • Add a favicon for the documentation (54#)
  • Add a warning for older versions that links to latest (#54)

Changed

  • Update CSS to improve toc (#54)
  • Update documentation for mike (#54)

Removed

  • Disable GitHub Action for MkDocs Workflow (#54)

Workflow checklist

Automation

Closes #36

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guidelines
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@Ludee Ludee added part: docu 📖 Concerns the documentation type: enhancement ⚙️ Improvement of an existing feature labels Aug 14, 2023
@Ludee Ludee self-assigned this Aug 14, 2023
@Ludee Ludee changed the title Improve the mike worklow Improve the mike workflow Aug 14, 2023
@Ludee Ludee marked this pull request as ready for review August 14, 2023 09:53
@Ludee Ludee merged commit 91c25ba into develop Aug 14, 2023
@Ludee Ludee deleted the feature-36-mike-workflow branch August 14, 2023 09:53
@Ludee Ludee added status: completed ✔️ Has been completed resolution: released 🎉 Resolved and released labels Aug 17, 2023
@Ludee Ludee mentioned this pull request Dec 9, 2024
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
part: docu 📖 Concerns the documentation resolution: released 🎉 Resolved and released status: completed ✔️ Has been completed type: enhancement ⚙️ Improvement of an existing feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant