Sven Klemm 0c6f4e2458 Centralize CI settings
This patch adds a new settings file for common github action settings.
Instead of repeating latest pg versions in every github workflow we
can read the settings from this central file.
2022-08-15 13:02:34 +02:00
..
2021-06-22 11:42:48 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2022-08-11 20:11:10 +02:00
2022-08-11 20:11:10 +02:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2021-11-15 14:54:14 +03:00
2022-07-25 13:16:28 +02:00
2022-07-25 13:16:28 +02:00
2022-07-25 13:16:28 +02:00