shell.nix: update to Tockloader v1.11.0pre-git #338
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Seems good now that tock/tockloader#104 is merged |
|
We can merge this now? |
alevy
previously approved these changes
Sep 7, 2023
|
@lschuermann can you change this to a regular (non-draft) PR? |
lschuermann
force-pushed
the
dev/nix-tockloader-v1_10_0
branch
from
af2df7c
to
4a105ce
Compare
lschuermann
changed the title
|
Yikes, I had the changes necessary to make this work locally but didn't push... 😒 I changed this PR's title and description to be more accurate -- we are, in fact, pinning a specific development revision (somewhere in between v1.10.0 and v1.11.0), as that ships with the required This should be good to go now. |
alevy
approved these changes
Sep 8, 2023
tyler-potyondy
pushed a commit
to tyler-potyondy/libtock-c
that referenced
this pull request
Mar 13, 2024
shell.nix: update to Tockloader v1.11.0pre-git
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Pull Request Overview
This pull request updates the Tockloader release pinned in
shell.nixto a development revision towards v1.11.0. It switches to the Tockloader package definition now included in its repo.Testing Strategy
This pull request was tested by evaluating the Nix expression.
TODO or Help Wanted
This change depends on tock/tockloader#104! It deliberately does not evaluate (sha256 = ""), to ensure that we update therevto a revision with tock/tockloader#104 merged in.Documentation Updated
/docs, or no updates are required.Formatting
make prepush.