Skip to content

Conversation

@Disservin
Copy link
Member

Necessary modifications according to changes in the GitHub Action settings.

No functional change

@vondele vondele added bug to be merged Will be merged shortly labels Jul 4, 2024
@vondele vondele closed this in 74a8fc0 Jul 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug to be merged Will be merged shortly

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants