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

DRAFT: Add host_compat lints (requires spk-lint-update) #929

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

dcookspi
Copy link
Collaborator

@dcookspi dcookspi commented Dec 7, 2023

This adds some host_compat: related lints to the UncheckedBuildSpec. It is based on the #922 PR and the spk-lint-updates branch.

This a a draft PR put in so people can see the proposed linting warnings for host_compat settings.

Note: It will fail to compile and fail the tests and checks, until the #851 PR is merged.

Todo:

@dcookspi dcookspi self-assigned this Dec 7, 2023
@dcookspi dcookspi added the SPI AOI Area of interest for SPI label Dec 7, 2023
@dcookspi dcookspi linked an issue Dec 7, 2023 that may be closed by this pull request
@dcookspi dcookspi requested a review from jrray December 7, 2023 20:24
@dcookspi dcookspi force-pushed the 917-host-options-missing-lint branch from 6c9cf9d to 3614fe1 Compare December 12, 2023 01:45
Base automatically changed from 917-host-options-should-be-automatic-and-opt-out to main December 12, 2023 20:28
…PR merged before it can compile and be tested

Signed-off-by: David Gilligan-Cook <dcook@imageworks.com>
@dcookspi dcookspi force-pushed the 917-host-options-missing-lint branch from 3614fe1 to 9d7a941 Compare December 12, 2023 20:42
@dcookspi dcookspi added the pr-chain This PR doesn't target the main branch, don't merge! label Mar 8, 2024
@dcookspi dcookspi added the SPI-0.43 Marked for inclusion in SPI 0.43 build label Sep 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-chain This PR doesn't target the main branch, don't merge! SPI AOI Area of interest for SPI SPI-0.43 Marked for inclusion in SPI 0.43 build
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Host options should be automatic and opt-out
1 participant