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

Improvement: Get rid of Moodle Plugin CI annotations #591

Closed
lucaboesch opened this issue Mar 15, 2024 · 0 comments
Closed

Improvement: Get rid of Moodle Plugin CI annotations #591

lucaboesch opened this issue Mar 15, 2024 · 0 comments
Assignees
Labels
improvement Something which improves an existing feature in some way (UX, UI, Design, Functionality)

Comments

@lucaboesch
Copy link
Collaborator

Moodle Plugin CI does trigger those type of annotations.
image
I think they can be dealt with and I am developing a fix.

@lucaboesch lucaboesch added the new Something which has been reported but has not yet beeen triaged by the team label Mar 15, 2024
@lucaboesch lucaboesch self-assigned this Mar 15, 2024
@lucaboesch lucaboesch added the improvement Something which improves an existing feature in some way (UX, UI, Design, Functionality) label Mar 15, 2024
lucaboesch added a commit to lucaboesch/moodle-theme_boost_union that referenced this issue Mar 15, 2024
lucaboesch added a commit to lucaboesch/moodle-theme_boost_union that referenced this issue Mar 15, 2024
abias pushed a commit to lucaboesch/moodle-theme_boost_union that referenced this issue Mar 15, 2024
abias pushed a commit to lucaboesch/moodle-theme_boost_union that referenced this issue Mar 15, 2024
@abias abias closed this as completed in a081822 Mar 15, 2024
@github-project-automation github-project-automation bot moved this to Ready for Release Test in Boost Union Planning Board Mar 15, 2024
@abias abias removed the new Something which has been reported but has not yet beeen triaged by the team label Mar 15, 2024
@abias abias moved this from Ready for Release Test to CLOSED in Boost Union Planning Board Mar 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Something which improves an existing feature in some way (UX, UI, Design, Functionality)
Projects
Status: CLOSED
Development

No branches or pull requests

2 participants