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.

Sign up for GitHub

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

Jump to bottom

WIP - Update Project.toml #185

Closed
wants to merge 1 commit into from
Closed

WIP - Update Project.toml #185

wants to merge 1 commit into from

Conversation

jbcaillau
Copy link
Member

Going to CTBase v0.10 and CTDirect v0.7

@jbcaillau
Update Project.toml
f16a0dc 
Going to CTBase v0.10 and CTDirect v0.7
@jbcaillau jbcaillau linked an issue Jun 23, 2024 that may be closed by this pull request
New release (CTDirect v0.7.0) #183
Closed
@github-actions github-actions bot requested a review from ocots June 23, 2024 22:23
@jbcaillau jbcaillau changed the title Update Project.toml WIP - Update Project.toml Jun 23, 2024
@ocots
Copy link
Member

ocots commented Jun 24, 2024

Seems that there are two PR for the same thing: #184

@jbcaillau
Copy link
Member Author

@ocots OK: closing this PR in favor of #184

NB: a nice process (similar to gitlab) is to

  • open an issue
  • create a branch from the issue
  • create a (WIP to perform automatically checks) PR from this branch

@jbcaillau jbcaillau closed this Jun 24, 2024
@jbcaillau jbcaillau mentioned this pull request Jun 24, 2024
Merged
@PierreMartinon PierreMartinon deleted the 183-new-release-ctdirect-v070 branch July 5, 2024 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ocots ocots Awaiting requested review from ocots

Assignees

@ocots ocots

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

New release (CTDirect v0.7.0)
2 participants
@jbcaillau @ocots