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

vscodium: 1.48.2 -> 1.49.1 #98294

Closed
wants to merge 1 commit into from
Closed

vscodium: 1.48.2 -> 1.49.1 #98294

wants to merge 1 commit into from

Conversation

samuela
Copy link
Member

@samuela samuela commented Sep 19, 2020 •
edited

Motivation for this change

Upgrades vscodium from 1.48.2 to 1.49.1

This PR was automatically generated by nixpkgs-upkeep.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option in on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using Preparing worktree (detached HEAD 7fcc9a4)
    HEAD is now at 7fcc9a4 Merge pull request sqldiff: init at 3.33.0 #69112 from JohnAZoidberg/sqldiff
    $ git -c fetch.prune=false fetch --force https://github.com/NixOS/nixpkgs master:refs/nixpkgs-review/0
    $ git worktree add /home/runner/.cache/nixpkgs-review/rev-96be0329788e9d30980745b37269050ba1982863-dirty/nixpkgs 7fcc9a4
    $ nix-env -f /home/runner/.cache/nixpkgs-review/rev-96be0329788e9d30980745b37269050ba1982863-dirty/nixpkgs -qaP --xml --out-path --show-trace
    No diff detected, stopping review...
    $ git worktree prune
  • Tested execution of all binary files (usually in )
  • Determined the impact on package closure size (by running before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@samuela samuela closed this Sep 19, 2020
@samuela samuela deleted the upkeep-bot/vscodium-1.49.1-1600550109 branch September 19, 2020 21:17
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.

None yet
1 participant
@samuela