Skip to content

Pin actions#574

Open
Yaswant Pradhan (yaswant) wants to merge 4 commits into
MetOffice:mainfrom
yaswant:pin-actions
Open

Pin actions#574
Yaswant Pradhan (yaswant) wants to merge 4 commits into
MetOffice:mainfrom
yaswant:pin-actions

Conversation

@yaswant

Copy link
Copy Markdown
Collaborator

closes #573

@yaswant Yaswant Pradhan (yaswant) added CI GitHub Actions related changes Ready for review Indicating that a PR is ready to be reviewed. labels Jun 19, 2026

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

This seems to make sense.

Comment thread .github/workflows/build.yml Outdated
contents: read
pull-requests: write
contents: read # Requires read access to fetch source files
pull-requests: write # Required to post coverage metrics, test results, or status logs back into PR comments

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

I don't think we do any of these things in this repository. In which case, is it a good idea to provide the permission?

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.

Well spotted Matthew Hambley (@MatthewHambley)
In its current state, this is superfluous. Do we have plan to post a comment in PR e.g., if the coverage drops below a certain threshold? If not I can remove the permission now.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

We would certainly consider it, but not immediately.

Ideally GitHub's own coverage reporting (which is on trial at the moment) would be extended to work on forked pull requests. Then we would use that.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

This is a straight forward change.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI GitHub Actions related changes Ready for review Indicating that a PR is ready to be reviewed.

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

Pin actions

2 participants