Skip to content

Fix the failing make docs#4

Merged
habedi merged 3 commits into
mainfrom
develop
Apr 15, 2026
Merged

Fix the failing make docs#4
habedi merged 3 commits into
mainfrom
develop

Conversation

@habedi
Copy link
Copy Markdown
Member

@habedi habedi commented Apr 15, 2026

  • Fixed the failing make docs that was caused by the missing docs directory in the root of the project.

@habedi habedi self-assigned this Apr 15, 2026
@habedi habedi added the bug Something isn't working label Apr 15, 2026
@habedi habedi merged commit 8246bf7 into main Apr 15, 2026
9 checks passed
@habedi habedi deleted the develop branch April 15, 2026 15:11
@habedi habedi restored the develop branch April 15, 2026 15:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant