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

Create zizmor.yaml #22120

Closed
wants to merge 1 commit into from
Closed

Create zizmor.yaml #22120

wants to merge 1 commit into from

Conversation

userdocs
Copy link
Contributor

@userdocs userdocs commented Jan 6, 2025

Not a super serious PR just something that might be of interest to @xavier2k6 that I made into a workflow that prints the results as as summary.

https://github.com/woodruffw/zizmor

@userdocs userdocs force-pushed the master branch 3 times, most recently from 3186e64 to f422ce1 Compare January 10, 2025 12:07
@Chocobo1 Chocobo1 added the CI Issues/PRs related to CI label Jan 10, 2025
.github/workflows/ci_file_health.yaml Outdated Show resolved Hide resolved
.github/workflows/ci_file_health.yaml Outdated Show resolved Hide resolved
.github/workflows/ci_file_health.yaml Outdated Show resolved Hide resolved
.github/workflows/ci_file_health.yaml Outdated Show resolved Hide resolved
.github/workflows/ci_file_health.yaml Outdated Show resolved Hide resolved
.github/workflows/ci_file_health.yaml Outdated Show resolved Hide resolved
Update ci_file_health.yaml

Update ci_file_health.yaml

audit fixes

Update ci_file_health.yaml

Update ci_file_health.yaml

requested

merge into ci file health

Update zizmor.yaml

Create zizmor.yaml

Update zizmor.yaml

show in term and summary instead of just summary.

Update zizmor.yaml

if condition not really needed here. it will either be 0 or not.

Update ci_file_health.yaml

Update ci_file_health.yaml

Update .pre-commit-config.yaml

Update .pre-commit-config.yaml
@Chocobo1
Copy link
Member

@userdocs
It seems it will require more adjustments to make it work properly. I'll look into it later and probably push commits to your branch. If you agree, you can just leave the PR as is.

@userdocs
Copy link
Contributor Author

Fine by me. Do whatever you need to.

@xavier2k6

This comment was marked as off-topic.

@userdocs

This comment was marked as off-topic.

@xavier2k6

This comment was marked as off-topic.

@Chocobo1
Copy link
Member

Superseded by #22200.

@userdocs
Thanks for the effort.

@Chocobo1 Chocobo1 closed this Jan 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Issues/PRs related to CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants