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

Update VS Code to 1.84.2 #205

Merged
merged 12 commits into from
Dec 6, 2023
Merged

Update VS Code to 1.84.2 #205

merged 12 commits into from
Dec 6, 2023

Conversation

viper-admin
Copy link
Member

@viper-admin viper-admin commented Dec 10, 2022 •
edited
Loading

  • Update VS Code version used in tests to 1.84.2.

@ArquintL ArquintL changed the title Update VS Code to 1.74.0 Update VS Code to 1.74.1 Dec 15, 2022
@viper-admin viper-admin changed the title Update VS Code to 1.74.1 Update VS Code to 1.74.2 Jan 1, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.74.2 Update VS Code to 1.74.3 Jan 11, 2023
@viper-admin viper-admin force-pushed the auto-update-vscode branch 2 times, most recently from 988dc35 to f9a0f4c Compare January 15, 2023 07:02
@viper-admin viper-admin force-pushed the auto-update-vscode branch 2 times, most recently from f701c3d to a2368a8 Compare February 1, 2023 08:51
@ArquintL
Copy link
Member

ArquintL commented Feb 2, 2023

Unclear why but it seems that CI always fails with a timeout in configuration stable.json

@viper-admin viper-admin changed the title Update VS Code to 1.74.3 Update VS Code to 1.75.1 Feb 15, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.75.1 Update VS Code to 1.76.0 Mar 8, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.76.0 Update VS Code to 1.76.1 Mar 15, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.76.1 Update VS Code to 1.77.0 Apr 1, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.79.1 Update VS Code to 1.79.2 Jul 1, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.79.2 Update VS Code to 1.80.1 Jul 15, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.80.1 Update VS Code to 1.80.2 Aug 1, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.80.2 Update VS Code to 1.81.1 Aug 15, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.81.1 Update VS Code to 1.82.1 Sep 15, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.82.1 Update VS Code to 1.82.2 Oct 1, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.82.2 Update VS Code to 1.83.1 Oct 15, 2023
@viper-admin viper-admin changed the title Update VS Code to 1.83.1 Update VS Code to 1.84.2 Nov 15, 2023
@ArquintL
Merge branch 'auto-update-vscode' of github.com:viperproject/gobra-id…
6b3266b 
…e into auto-update-vscode
@ArquintL
Merges branch 'master' into 'auto-update-vscode'
0ba6bfa
@ArquintL
the latest stable release does not seem to correctly report differing…
a0ae3b1 
… package clauses within a package; thus, we temporarily disable testing in this configuration until the next stable release is available
@ArquintL
Copy link
Member

ArquintL commented Dec 6, 2023

Testing against the latest stable release is temporarily disabled and will be reenabled by PR #361

@ArquintL ArquintL added this pull request to the merge queue Dec 6, 2023
Merged via the queue into master with commit db43a72 Dec 6, 2023
15 checks passed
@ArquintL ArquintL deleted the auto-update-vscode branch December 6, 2023 08:58
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.
3 participants
@viper-admin @ArquintL @jcp19