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

fix documentation + tutorial #47

Merged
merged 1 commit into from
Nov 6, 2024
Merged

fix documentation + tutorial #47

merged 1 commit into from
Nov 6, 2024

Conversation

paraynaud
Copy link
Member

No description provided.

@paraynaud paraynaud force-pushed the pr-submission-cleaning branch from 19c4a5c to 968958d Compare April 19, 2024 12:24
@paraynaud
Copy link
Member Author

paraynaud commented Apr 19, 2024

@dpo the documentation failed because the module lacks a DOCUMENTER_key.

Here are the lines to generate a new one (I added the line for ExpressionTreeForge):

using DocumenterTools

DocumenterTools.genkeys(user="dpo", repo="PartitionedVectors.jl")
DocumenterTools.genkeys(user="dpo", repo="ExpressionTreeForge.jl")

@dpo
Copy link
Member

dpo commented Apr 20, 2024

Done.

@paraynaud paraynaud force-pushed the pr-submission-cleaning branch from 968958d to c7a53a4 Compare November 5, 2024 23:03
@paraynaud
Copy link
Member Author

paraynaud commented Nov 5, 2024

New push to trigger the test + documentation build.
I had to make a new push since the last commit was older than 1 month

Copy link
Member

@tmigot tmigot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @paraynaud

@paraynaud paraynaud merged commit 736b81c into main Nov 6, 2024
9 checks passed
@paraynaud paraynaud deleted the pr-submission-cleaning branch November 6, 2024 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants