ArkadiuszMichalski 88193a73f3 CI improvement: not using the REST API to get PR message ... Fix #15091, close #15125		2024-05-15 18:27:42 +02:00
..
ISSUE_TEMPLATE	Add additional instructions to issue templates	2024-04-15 03:01:59 +02:00
workflows	CI improvement: not using the REST API to get PR message	2024-05-15 18:27:42 +02:00
ISSUE_TEMPLATE.md	Add issue templates	2024-04-13 10:41:47 +02:00
dependabot.yml	Add Github CI build	2023-11-02 12:16:31 +01:00