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.

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

version 2.2.3 is a pre-release? #1005

Open
thery opened this issue Jan 23, 2025 · 8 comments
Open

version 2.2.3 is a pre-release? #1005

thery opened this issue Jan 23, 2025 · 8 comments

Comments

@thery
Copy link
Contributor

thery commented Jan 23, 2025

I have updated my extension to 2.2.3. Is this still a pre-release?
The extension page on code says so :

Image

@TheoWinterhalter
Copy link

Image Interestingly if you ask to install a specific version it's not shown as a pre-release? (Or is it not shown for the current version maybe?)

@thery
Copy link
Contributor Author

thery commented Jan 23, 2025

When asking to install 2.2.1 the pre-release is still there

Image

@rtetley
Copy link
Collaborator

rtetley commented Jan 24, 2025

Image

I don't see this. Which version of vscode do you have ?

@thery
Copy link
Contributor Author

thery commented Jan 24, 2025

Version: 1.96.4
Commit: cd4ee3b1c348a13bafd8f9ad8060705f6d4b9cba
Date: 2025-01-16T00:16:19.038Z
Electron: 32.2.6
ElectronBuildId: 10629634
Chromium: 128.0.6613.186
Node.js: 20.18.1
V8: 12.8.374.38-electron.0
OS: Linux x64 6.12.9-200.fc41.x86_64

@thery
Copy link
Contributor Author

thery commented Jan 24, 2025

This is really strange because it shows 2.2.3 everywhere except on the top after VsCoq

Image

@thery
Copy link
Contributor Author

thery commented Jan 24, 2025

it must be a cache problem, because uninstall and reinstall does not change anything

@thery
Copy link
Contributor Author

thery commented Jan 27, 2025

@rtetley This morning the pre-release has disappeared but I still don't get the version number as you have.

Image
Did you change something (my version of the vscode is the same)

@rtetley
Copy link
Collaborator

rtetley commented Jan 27, 2025

Nothing was changed on my side.

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

No branches or pull requests

3 participants