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

Release 3.1.5 (2023.0.5) #430

Closed
mp911de opened this issue Sep 15, 2023 · 0 comments
Closed

Release 3.1.5 (2023.0.5) #430

mp911de opened this issue Sep 15, 2023 · 0 comments
Assignees
@jxblum
Labels
type: task A general task
Milestone
3.1.5 (2023.0.5)

Comments

@mp911de
Copy link
Member

mp911de commented Sep 15, 2023

No description provided.

@mp911de mp911de added the type: task A general task label Sep 15, 2023
@mp911de mp911de added this to the 3.1.5 (2023.0.5) milestone Sep 15, 2023
jxblum added a commit that referenced this issue Oct 5, 2023
@jxblum
Update CI properties.
64fa7ec 
See #430
@jxblum jxblum self-assigned this Oct 13, 2023
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
Prepare 3.1.5 (2023.0.5).
3ab5843 
See #430
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
Release version 3.1.5 (2023.0.5).
585a34c 
See #430
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
Prepare next development iteration.
36c5421 
See #430
jxblum added a commit that referenced this issue Oct 13, 2023
@jxblum
After release cleanups.
7fe473f 
See #430
@jxblum jxblum closed this as completed Oct 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jxblum jxblum

Labels
type: task A general task
Projects
None yet
Milestone
3.1.5 (2023.0.5)
Development

No branches or pull requests
2 participants
@mp911de @jxblum