-
Notifications
You must be signed in to change notification settings - Fork 14
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
chore: explain a Nix-powered workflow #149
Conversation
75c730d
to
d848d31
Compare
I'm working onremoving the need for |
What was the issue exactly? |
It's easy to delude myself (anyone-self?) to use Charon and Aeneas separately and have difficult to debug issues because Charon and Aeneas are non-synchronized. This workflow explains how to avoid this by design by reusing the Charon that Aeneas is depending on. |
Btw, rustup should no longer be needed |
Actually, why not add |
Seems orthogonal to me? People will |
Oh you're right, I was thinking of aeneas devs but this PR is for aeneas users. Nevermind |
d848d31
to
7be6b63
Compare
Removed. |
0f85911
to
8050a7e
Compare
Wait, don't merge. This won't work without rustup, I think. |
Oh yeah this needs latest charon; I'll bump soon |
ae34f53
to
3dfe025
Compare
I need to do a test with that workflow, I recently had some issues while trying to extract stuff. |
3dfe025
to
5a193fb
Compare
5a193fb
to
6c25302
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good, thanks!
To avoid divergence between Charon and Aeneas, we should re-export Charon via our Flake and tell users to use this as a source of truth. Here's an appendix on how I do refresh of my files, which can serve as inspiration for a quick start workflow. Signed-off-by: Ryan Lahfa <[email protected]>
6c25302
to
2d83102
Compare
To avoid divergence between Charon and Aeneas, we should re-export Charon via our Flake and tell users to use this as a source of truth.
Here's an appendix on how I do refresh of my files, which can serve as inspiration for a quick start workflow.
cc @Nadrieril @sonmarcho