Skip to content

Conversation

@jsjoeio
Copy link
Contributor

@jsjoeio jsjoeio commented Oct 27, 2022

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

Screenshot

TODO

TODOs

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

  • update CHANGELOG.md
  • close homebrew PR for 4.8.0 if not already merged (will lead to errors after publish otherwise)
  • manually run "Draft release" workflow after merging this PR
  • merge PR opened in code-server-aur

@jsjoeio jsjoeio self-assigned this Oct 27, 2022
@jsjoeio jsjoeio requested a review from a team October 27, 2022 17:20
@jsjoeio jsjoeio temporarily deployed to npm October 27, 2022 17:33 Inactive
@github-actions
Copy link

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

  • Last publish status: success
  • Commit: c2f196d

To install in a local project, run:

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

To install globally, run:

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

@codecov
Copy link

codecov bot commented Oct 27, 2022

Codecov Report

Merging #5722 (c2f196d) into main (ba44f6c) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #5722   +/-   ##
=======================================
  Coverage   72.61%   72.61%           
=======================================
  Files          30       30           
  Lines        1680     1680           
  Branches      368      368           
=======================================
  Hits         1220     1220           
  Misses        397      397           
  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 ba44f6c...c2f196d. Read the comment docs.

@jsjoeio jsjoeio marked this pull request as ready for review October 28, 2022 15:43
@jsjoeio jsjoeio merged commit cc8ce3b into main Oct 28, 2022
@jsjoeio jsjoeio deleted the release/v4.8.1 branch October 28, 2022 15:55
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