Tasos Sahanidis 6be31da761 CI: This was supposed to be a quick fix ...

That wouldn't litter the commit history...

2025-01-31 03:14:49 +02:00

..

actions

CI: This was supposed to be a quick fix

2025-01-31 03:14:49 +02:00

ISSUE_TEMPLATE

Add details for wiki edits

2023-04-12 10:47:46 -04:00

workflows

CI: Run for Pull Requests as well

2023-06-24 15:37:42 +03:00