53 Commits

Include renames

Author	SHA1	Message	Date
Niels LohmannandGitHub	1825117e63	Another desperate try to fix the CI (#4489) ... * 🚨 fix warning * 💚 update actions * 🚨 fix warning * 🚨 fix warning * 🚨 fix warning * 💚 update actions * 💚 update actions * 🚨 fix warning * 🚨 fix warning * 💚 update actions * 🚨 fix warning * 💚 update actions * 💚 update actions * 💚 update actions * 🚨 fix warning * 🚨 fix warning * 🚨 fix warning * 🚨 fix warning * 💚 update actions * 💚 update actions * 🚨 fix warning * 💚 update actions * 💚 update actions * 💚 update actions * 💚 update actions * 💚 update actions	2024-11-13 10:21:26 +01:00
JoyceandGitHub	31c00dc729	Refactor amalgamation workflow to avoid dangerous use of pull_request_target (#3969)	2023-03-08 13:41:20 +01:00
Florian AlbrechtskirchingerandGitHub	4c8cdd7afc	Add 'Check amalgamation' workflow (#3693)	2022-08-27 14:20:51 +02:00