Skip to content

Fixes#24

Merged
martinkilbinger merged 3 commits intoCosmoStat:revert-20-v0.3.4_betafrom
martinkilbinger:fixes
Jun 21, 2023
Merged

Fixes#24
martinkilbinger merged 3 commits intoCosmoStat:revert-20-v0.3.4_betafrom
martinkilbinger:fixes

Conversation

@martinkilbinger
Copy link
Copy Markdown
Collaborator

@martinkilbinger martinkilbinger commented Jun 21, 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 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
  • 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 changed the base branch from develop to revert-20-v0.3.4_beta June 21, 2023 12:27
@martinkilbinger martinkilbinger merged commit 58cf091 into CosmoStat:revert-20-v0.3.4_beta Jun 21, 2023
@martinkilbinger martinkilbinger deleted the fixes branch June 21, 2023 12:29
@martinkilbinger martinkilbinger mentioned this pull request Aug 24, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@martinkilbinger