Skip to content

release: 4.7.1 #5607

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 7 commits into from
Sep 30, 2022
Merged

release: 4.7.1 #5607

merged 7 commits into from
Sep 30, 2022

Conversation

jsjoeio
Copy link
Contributor

@jsjoeio jsjoeio commented Sep 30, 2022

This PR is to generate a new release of code-server at 4.7.1

Screenshot

image

TODOs

Follow "Publishing a release" steps in ci/README.md

  • publish release and merge PR
  • update the AUR package

@jsjoeio jsjoeio self-assigned this Sep 30, 2022
@jsjoeio jsjoeio requested a review from a team September 30, 2022 16:58
@github-actions
Copy link

github-actions bot commented Sep 30, 2022

✨ code-server docs for PR #5607 is ready! It will be updated on every commit.

@jsjoeio jsjoeio temporarily deployed to npm September 30, 2022 17:18 Inactive
@github-actions
Copy link

github-actions bot commented Sep 30, 2022

✨ code-server dev build published to npm for PR #5607!

  • Last publish status: success
  • Commit: 35a8d11

To install in a local project, run:

npm install @coder/code-server-pr@5607

To install globally, run:

npm install -g @coder/code-server-pr@5607

@codecov
Copy link

codecov bot commented Sep 30, 2022

Codecov Report

Merging #5607 (35a8d11) into main (3ac2307) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #5607   +/-   ##
=======================================
  Coverage   72.44%   72.44%           
=======================================
  Files          30       30           
  Lines        1673     1673           
  Branches      366      366           
=======================================
  Hits         1212     1212           
  Misses        398      398           
  Partials       63       63           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 3ac2307...35a8d11. Read the comment docs.

@jsjoeio jsjoeio marked this pull request as ready for review September 30, 2022 18:14
jsjoeio and others added 2 commits September 30, 2022 14:17
Co-authored-by: Asher <ash@coder.com>
@jsjoeio jsjoeio requested a review from code-asher September 30, 2022 21:19
@jsjoeio jsjoeio temporarily deployed to npm September 30, 2022 21:22 Inactive
@jsjoeio jsjoeio merged commit 77bbed4 into main Sep 30, 2022
@jsjoeio jsjoeio deleted the release/v4.7.1 branch September 30, 2022 21:44
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