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.

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

dino: backport version bump #51558

Closed
wants to merge 2 commits into from
Closed

dino: backport version bump #51558

wants to merge 2 commits into from

Conversation

schmittlauch
Copy link
Member

Motivation for this change

backport of #51557

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 nox --run "nox-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.

schmittlauch and others added 2 commits December 5, 2018 10:13
@schmittlauch
dino: bump to latest upstream master (2018-11-29)
f7965c7 
I've been testing dino on release-18.09 for several days now, but at a
newer commit than packaged in nixpkgs-master.
Thus this updates dino again, to be backported to release-18.09

(cherry picked from commit 2c76232)
@Mic92 @schmittlauch
dino: enable parallel building
88879ea 
(cherry picked from commit a995836)
@schmittlauch schmittlauch changed the title Dino bump back dino: backport version bump Dec 5, 2018
@Mic92
Copy link
Member

Mic92 commented Dec 5, 2018

backport in: dd03932

@Mic92 Mic92 closed this Dec 5, 2018
@schmittlauch schmittlauch deleted the dino-bump-back branch December 5, 2018 12:31
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
10.rebuild-darwin: 0 10.rebuild-linux: 1-10
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@schmittlauch @Mic92 @GrahamcOfBorg