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

Make Node-RED optional, kas cleanups #487

Merged
merged 2 commits into from
Sep 27, 2023
Merged

Conversation

jan-kiszka
Copy link
Collaborator

No description provided.

Allows to shrink the example image build time specifically.

Signed-off-by: Jan Kiszka <[email protected]>
Only the top-level files are evaluated by kas so far, but this is still
more consistent.

Signed-off-by: Jan Kiszka <[email protected]>
@jan-kiszka
Copy link
Collaborator Author

OK, another construction site: github CI is now broken...

@jan-kiszka
Copy link
Collaborator Author

No idea why one job failed in freeing space but 3 others succeeded. Seems not a persistent error. Will retry this build once possible.

@BaochengSu BaochengSu merged commit ec5e528 into master Sep 27, 2023
5 checks passed
@jan-kiszka jan-kiszka deleted the jan/some-improvements branch September 27, 2023 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants