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

system/nix: Some extra hardcoded assurance. #138

Closed
wants to merge 1 commit into from
Closed

Conversation

RSKYS
Copy link
Owner

@RSKYS RSKYS commented Jul 9, 2024

No description provided.

@RSKYS RSKYS force-pushed the 15/nix branch 2 times, most recently from 1975b8d to 5115b34 Compare July 9, 2024 00:12
@RSKYS RSKYS removed the Success label Jul 9, 2024
Repository owner deleted a comment from github-actions bot Jul 9, 2024
Repository owner deleted a comment from github-actions bot Jul 9, 2024
@RSKYS RSKYS removed the Success label Jul 9, 2024
@RSKYS RSKYS force-pushed the test/nix branch 2 times, most recently from 2f240ff to 6d92bee Compare July 9, 2024 09:26
@RSKYS RSKYS removed the Success label Jul 9, 2024
Repository owner deleted a comment from github-actions bot Jul 9, 2024
I realized late that it's started to spam root partition, again. I'm
not really happy with this, not at all; first patch updated.

Signed-off-by: Pouria Rezaei <[email protected]>
Repository owner deleted a comment from github-actions bot Jul 9, 2024
@RSKYS RSKYS removed the Success label Jul 9, 2024
Copy link

github-actions bot commented Jul 9, 2024

All builds finished successfully 👍

@RSKYS RSKYS closed this Jul 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant