Skip to content

chore: Fix version pin references (zizmor) - #2148

Merged
ditman merged 3 commits into
a2ui-project:mainfrom
ditman:web_ci-fix-zizmor
Aug 1, 2026
Merged

chore: Fix version pin references (zizmor)#2148
ditman merged 3 commits into
a2ui-project:mainfrom
ditman:web_ci-fix-zizmor

Conversation

@ditman

@ditman ditman commented Jul 31, 2026

Copy link
Copy Markdown
Collaborator

Description

zizmor has started complaining about our version pin comments in our actions.

This PR is the result of running:

$ zizmor --gh-token=$(gh auth token) .github/workflows/ --fix=all

(Sample failure: https://github.com/a2ui-project/a2ui/actions/runs/30672478431?pr=2135)


Changing docs.yml in this PR, also uncovered that one of the jobs has overly broad permissions. Restricted to read-only.

Pre-launch Checklist

One time:

For this PR:

  • I have updated the relevant CHANGELOG.md file.
  • I updated/added relevant documentation.
  • My code changes (if any) have tests.
  • If my branch is on a fork, I have verified that scripts/e2e_test.sh passes.

If you need help, consider asking for advice on the discussion board.

@gemini-code-assist

Copy link
Copy Markdown
Contributor

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

Comment on lines +44 to +45
permissions:
contents: read

@ditman ditman Aug 1, 2026

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is the 2nd zizmor fix: setting explicit read-only permissions to the "changes" job.

@ditman

ditman commented Aug 1, 2026

Copy link
Copy Markdown
Collaborator Author

(Enabling auto-merge)

@ditman
ditman enabled auto-merge (squash) August 1, 2026 00:26
@ditman
ditman merged commit 2276f8c into a2ui-project:main Aug 1, 2026
28 checks passed
@github-project-automation github-project-automation Bot moved this from Todo to Done in A2UI Aug 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants