Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add missing tool name in local development documentation #1265

Merged
merged 2 commits into from
Mar 2, 2024

Conversation

malancas
Copy link
Contributor

Summary

Add the name of the local development CLI tool local-dev missing from the documentation.

Release Note

Documentation

Signed-off-by: Meredith Lancaster <malancas@github.com>
Copy link

codecov bot commented Feb 21, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 54.33%. Comparing base (dc7473a) to head (395638e).
Report is 36 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1265   +/-   ##
=======================================
  Coverage   54.33%   54.33%           
=======================================
  Files          44       44           
  Lines        3839     3839           
=======================================
  Hits         2086     2086           
  Misses       1539     1539           
  Partials      214      214           

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

@hectorj2f hectorj2f enabled auto-merge February 21, 2024 09:19
@hectorj2f
Copy link
Collaborator

It seems there are some ci builds that look broken 🤔.

auto-merge was automatically disabled February 23, 2024 18:11

Base branch was modified

@hectorj2f hectorj2f enabled auto-merge March 2, 2024 20:56
@hectorj2f hectorj2f merged commit 0745da3 into sigstore:main Mar 2, 2024
76 checks passed
@github-actions github-actions bot added this to the v1 milestone Mar 2, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants