Skip to content

Clean up the makefile and dev requirements#410

Merged
mjpieters merged 1 commit intomasterfrom
fix_make
Jan 25, 2023
Merged

Clean up the makefile and dev requirements#410
mjpieters merged 1 commit intomasterfrom
fix_make

Conversation

@mjpieters
Copy link
Copy Markdown
Collaborator

@mjpieters mjpieters commented Jan 25, 2023

Remove targets that were merged into lint, and trigger lint where the removed targets were being triggered.

This is a follow-up fix for changes in 2538a00.

Remove targets that were merged into lint, and trigger lint where the removed
targets were being triggered before.

This is a follow-up fix for changes in 2538a00.
@codecov
Copy link
Copy Markdown

codecov bot commented Jan 25, 2023

Codecov Report

Merging #410 (f575482) into master (cec49b5) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #410   +/-   ##
=======================================
  Coverage   98.36%   98.36%           
=======================================
  Files           1        1           
  Lines          61       61           
  Branches        9        9           
=======================================
  Hits           60       60           
  Misses          1        1           
Flag Coverage Δ
unit 96.72% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@mjpieters mjpieters merged commit e18803b into master Jan 25, 2023
@mjpieters mjpieters deleted the fix_make branch January 25, 2023 22:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant