Emil Ernerfeldt ed5fe01535 Add another check to Windows CI (#4038) ...

To see if we can catch the problem in
https://github.com/emilk/egui/pull/4037

2024-02-14 10:39:39 +01:00

..

ISSUE_TEMPLATE

Improve issue templates

2022-12-02 09:51:21 +01:00

workflows

Add another check to Windows CI (#4038)

2024-02-14 10:39:39 +01:00

pull_request_template.md

PR template: remind contributors to pick good PR titles

2024-02-06 09:22:14 +01:00