Skip to content

release 0.3.9 #618

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.

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

Merged
merged 1 commit into from
Sep 13, 2023
Merged

release 0.3.9 #618

merged 1 commit into from
Sep 13, 2023

Conversation

thery
Copy link
Contributor

@thery thery commented Sep 13, 2023

No description provided.

@thery thery merged commit d12da2f into rocq-prover:vscoq1 Sep 13, 2023
@thery thery deleted the vscoq_0_3_9 branch September 13, 2023 12:00
@Zimmi48
Copy link
Member

Zimmi48 commented Sep 18, 2023

@thery Currently the release title / description is a bit strange (title : v0.3.9: Merge pull request #618 from thery/vscoq_0_3_9). Furthermore, this is marked as a pre-release, which I guess was not intended.

@thery
Copy link
Contributor Author

thery commented Sep 18, 2023

it was intended I did not want it the 2.0 to be the latest release

@Zimmi48
Copy link
Member

Zimmi48 commented Sep 20, 2023

If what you mean is that you didn't want it to appear as the latest release, nowadays, GitHub has an option that you can untick for that:

image

It is already unticked, actually, so you can safely untick the "set as pre-release" one as well.

Furthermore, adding a title and a description would avoid it appearing like it does today:

image

@thery
Copy link
Contributor Author

thery commented Sep 20, 2023

@Zimmi48 Thanks. I've updated, hope it is ok now.

@Zimmi48
Copy link
Member

Zimmi48 commented Sep 20, 2023

Yes, this looks better. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants