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

chore: misc fixes #145

Merged
merged 3 commits into from
Jul 2, 2024
Merged

chore: misc fixes #145

merged 3 commits into from
Jul 2, 2024

Conversation

haraldh
Copy link
Contributor

@haraldh haraldh commented Jul 2, 2024

@haraldh haraldh requested a review from a team as a code owner July 2, 2024 11:03
@haraldh haraldh enabled auto-merge July 2, 2024 11:06
haraldh added 3 commits July 2, 2024 13:14
@haraldh
docs: adapt README.md to reality
6d5e7fa 
Signed-off-by: Harald Hoyer <harald@matterlabs.dev>
@haraldh
chore: replace cache in flake.nix nixConfig
b5fa7e1 
Signed-off-by: Harald Hoyer <harald@matterlabs.dev>
@haraldh
fix: sgx.nonpie_binary option is deprecated
fc3fe37 
see gramineproject/gramine#1187

Signed-off-by: Harald Hoyer <harald@matterlabs.dev>
@haraldh haraldh merged commit 70e743f into main Jul 2, 2024
13 checks passed
@haraldh haraldh deleted the fix_readme branch July 2, 2024 12:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pbeza pbeza pbeza approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@haraldh @pbeza