Skip to content

Doc api#638

Merged
LisaGoh merged 2 commits intoCosmoStat:developfrom
martinkilbinger:doc_api
Jul 3, 2023
Merged

Doc api#638
LisaGoh merged 2 commits intoCosmoStat:developfrom
martinkilbinger:doc_api

Conversation

@martinkilbinger
Copy link
Copy Markdown
Contributor

@martinkilbinger martinkilbinger commented Jul 3, 2023

Summary

Developers should provide a summary of the proposed changes here and include "closes #" if this addresses an open issue.

Reviewer Checklist

Reviewers should tick the following boxes before approving and merging the PR.

  • The PR targets the develop branch
  • The PR is assigned to the developer
  • The PR has appropriate labels
  • The PR is included in appropriate projects and/or milestones
  • The PR includes a clear description of the proposed changes
  • If the PR addresses an open issue the description includes "closes #"
  • The code and documentation style match the current standards
  • Documentation has been added/updated consistently with the code
  • All CI tests are passing
  • API docs have been built and checked at least once (if relevant)
  • All changed files have been checked and comments provided to the developer
  • All of the reviewer's comments have been satisfactorily addressed by the developer

@martinkilbinger martinkilbinger added this to the Re-run 2023 milestone Jul 3, 2023
@martinkilbinger martinkilbinger requested a review from LisaGoh July 3, 2023 07:53
@martinkilbinger martinkilbinger self-assigned this Jul 3, 2023
@LisaGoh LisaGoh merged commit 4a66e2f into CosmoStat:develop Jul 3, 2023
@martinkilbinger martinkilbinger deleted the doc_api branch July 3, 2023 11:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants