Anonymous Maarten a34c8403e7 ci: GitHub is retiring Ubuntu 20.04 support ...

backport of 8d3db06ff2

(cherry picked from commit b4d733619a)

2025-02-23 21:40:48 +01:00

..

actions

ci: merge all workflows

2024-11-23 20:00:37 +01:00

cmake

cmake: update cmake_minimum_required to avoid deprecated warning

2023-08-09 02:53:48 +02:00

workflows

ci: GitHub is retiring Ubuntu 20.04 support

2025-02-23 21:40:48 +01:00

PULL_REQUEST_TEMPLATE.md

a draft for a pull_request template

2021-02-13 11:58:09 -05:00