Skip to content

DOC add more info pipeline#3

Merged
ArturoAmorQ merged 1 commit intoArturoAmorQ:fix_crossreffrom
glemaitre:minor_improvement
Sep 20, 2023
Merged

DOC add more info pipeline#3
ArturoAmorQ merged 1 commit intoArturoAmorQ:fix_crossreffrom
glemaitre:minor_improvement

Conversation

@glemaitre
Copy link
Copy Markdown

I would do the following improvement regarding the pipeline section

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Sep 19, 2023
@github-actions
Copy link
Copy Markdown

❌ Linting issues

There was an issue running the linter job. Please update with upstream/main (link) and push the changes. If you already have done that, please send an empty commit with git commit --allow-empty and push the changes to trigger the CI.

Generated for commit: 21a9efd. Link to the linter CI: here

@ArturoAmorQ ArturoAmorQ merged commit 3e0877a into ArturoAmorQ:fix_crossref Sep 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants