Skip to content

Comments

Update manage issue header workflow events#13554

Merged
rtibbles merged 1 commit intodevelopfrom
update-manage-issue-header
Jul 22, 2025
Merged

Update manage issue header workflow events#13554
rtibbles merged 1 commit intodevelopfrom
update-manage-issue-header

Conversation

@MisRob
Copy link
Member

@MisRob MisRob commented Jul 14, 2025

Summary

A companion to learningequality/.github#28

@github-actions github-actions bot added DEV: dev-ops Continuous integration & deployment SIZE: very small labels Jul 14, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Jul 14, 2025

name: Call shared workflow
uses: learningequality/.github/.github/workflows/manage-issue-header.yml@main
secrets:
LE_BOT_APP_ID: ${{ secrets.LE_BOT_APP_ID }}
Copy link
Member Author

Choose a reason for hiding this comment

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

@rtibbles When you switch to the files tab, you should see CodeQL alert about workflow not containing permissions. Do you think we need to do something here around it?

@MisRob MisRob force-pushed the update-manage-issue-header branch from dd5fe2c to c49d641 Compare July 22, 2025 16:07
@rtibbles rtibbles merged commit 7a1e33a into develop Jul 22, 2025
56 checks passed
@rtibbles rtibbles deleted the update-manage-issue-header branch July 22, 2025 16:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

DEV: dev-ops Continuous integration & deployment SIZE: very small TODO: needs review Waiting for review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants