Skip to content

Conversation

@lorentey
Copy link
Member

@lorentey lorentey commented Oct 7, 2025

  • Update pull request and issue templates
  • Add workflow configuration

Like #535, the initial version of this simply copies the workflow from main. This is not going to work, but I'm curious to see which jobs will actually fail.

- Update pull request and issue templates
- Add workflow configuration
@lorentey lorentey changed the title Update GitHub metadata [1.2] Update GitHub metadata Oct 7, 2025
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.

1 participant