Skip to content

sage: 8.7 -> 8.8#59989

Merged
timokau merged 10 commits intoNixOS:masterfrom
timokau:sage-8.8
Jun 27, 2019
Merged

sage: 8.7 -> 8.8#59989
timokau merged 10 commits intoNixOS:masterfrom
timokau:sage-8.8

Conversation

@timokau
Copy link
Member

@timokau timokau commented Apr 21, 2019

Motivation for this change

Tracking the betas & release candidates for the next sage update.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS)
  • 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 nix-shell -p nix-review --run "nix-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Assured whether relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@timokau timokau mentioned this pull request Apr 21, 2019
10 tasks
@GrahamcOfBorg GrahamcOfBorg added 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. labels Apr 21, 2019
@ofborg ofborg bot added the 2.status: merge conflict This PR has merge conflicts with the target branch label May 5, 2019
@timokau timokau requested review from FRidh and ttuegel as code owners May 8, 2019 21:13
@ofborg ofborg bot added 6.topic: python Python is a high-level, general-purpose programming language. 6.topic: qt/kde Object-oriented framework for GUI creation 6.topic: rust General-purpose programming language emphasizing performance, type safety, and concurrency. 6.topic: steam Steam game store/launcher (store.steampowered.com) 8.has: documentation This PR adds or changes documentation labels May 8, 2019
@ofborg ofborg bot added 8.has: clean-up This PR removes packages or removes other cruft and removed 6.topic: python Python is a high-level, general-purpose programming language. 6.topic: qt/kde Object-oriented framework for GUI creation 6.topic: rust General-purpose programming language emphasizing performance, type safety, and concurrency. 6.topic: steam Steam game store/launcher (store.steampowered.com) 2.status: merge conflict This PR has merge conflicts with the target branch labels May 25, 2019
@ofborg ofborg bot added 2.status: merge conflict This PR has merge conflicts with the target branch and removed 2.status: merge conflict This PR has merge conflicts with the target branch labels Jun 20, 2019
@timokau timokau changed the title [WIP] sage: 8.7 -> 8.8 sage: 8.7 -> 8.8 Jun 27, 2019
@timokau timokau merged commit 66fa457 into NixOS:master Jun 27, 2019
@timokau timokau deleted the sage-8.8 branch June 27, 2019 21:30
@timokau
Copy link
Member Author

timokau commented Jul 2, 2019

Next round: #64193

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

8.has: clean-up This PR removes packages or removes other cruft 8.has: documentation This PR adds or changes documentation 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants