Skip to content

Use makefile targets again #4029

Merged
fisx merged 2 commits intodevelopfrom
mangoiv/use-makefile-targets-again
Apr 30, 2024
Merged

Use makefile targets again #4029
fisx merged 2 commits intodevelopfrom
mangoiv/use-makefile-targets-again

Conversation

@MangoIV
Copy link
Contributor

@MangoIV MangoIV commented Apr 29, 2024

sorry for issues caused

Checklist

  • Add a new entry in an appropriate subdirectory of changelog.d
  • Read and follow the PR guidelines

@MangoIV MangoIV requested a review from fisx April 29, 2024 15:36
@MangoIV MangoIV changed the title User makefile targets again Use makefile targets again Apr 29, 2024
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Apr 29, 2024
@fisx fisx merged commit 8cde3af into develop Apr 30, 2024
@fisx fisx deleted the mangoiv/use-makefile-targets-again branch April 30, 2024 10:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants