7 Commits

Author	SHA1	Message	Date
Jon Eugster	fddee3b511	Run CI on PR	2025-09-27 10:25:49 +02:00
Jon Eugster	3d9d4f1d54	14 month time-skip	2025-08-06 00:28:59 +02:00
joneugster	a568458fb2	update to v4.2.0	2023-11-22 13:15:18 +01:00
Jon Eugster	9de14f4733	update workflow	2023-06-16 13:15:51 +02:00
Jon Eugster	cbdaac3555	modify workflows	2023-05-10 17:37:15 +02:00
Jon Eugster	e454fdee1f	fix	2023-05-10 16:49:58 +02:00
Jon Eugster	dfab08df0a	github actions	2023-05-10 16:46:34 +02:00