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

Pin dotnet-install.sh #974

Merged
merged 1 commit into from
Nov 27, 2023
Merged

Pin dotnet-install.sh #974

merged 1 commit into from
Nov 27, 2023

Conversation

martincostello
Copy link
Owner

Get the download script from GitHub by its SHA to make OSSF Scorecard happy.

Get the download script from GitHub by its SHA.
@martincostello martincostello added enhancement dependencies Pull requests that update a dependency file labels Nov 27, 2023
@martincostello martincostello enabled auto-merge (rebase) November 27, 2023 12:54
Copy link

codecov bot commented Nov 27, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (d9bf6a4) 96.72% compared to head (5937ca4) 96.72%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #974   +/-   ##
=======================================
  Coverage   96.72%   96.72%           
=======================================
  Files          45       45           
  Lines         641      641           
  Branches       71       71           
=======================================
  Hits          620      620           
  Misses          7        7           
  Partials       14       14           
Flag Coverage Δ
linux 95.94% <ø> (ø)
macos 96.72% <ø> (ø)
windows 96.72% <ø> (ø)

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

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@martincostello martincostello merged commit 4efd905 into main Nov 27, 2023
10 checks passed
@martincostello martincostello deleted the pin-dotnet-install-script branch November 27, 2023 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant