13 Commits

Author	SHA1	Message	Date
Armin Schrenk	ccf2e60390	add version info in a comment	2025-10-15 14:55:39 +02:00
Armin Schrenk	83d2c39080	also pin official github actions	2025-10-15 12:48:49 +02:00
Armin Schrenk	446caff901	Pin exact version of external ci actions	2025-10-15 12:31:38 +02:00
dependabot[bot]	983e7d973b	Bump the github-actions group across 1 directory with 6 updates (#3970)	2025-09-16 14:19:24 +00:00
dependabot[bot]	a07dea7ca8	Bump the github-actions group with 2 updates (#3235)	2023-12-05 08:39:49 +00:00
Julian Raufelder	7f7f0a099a	Propagate deleted discussions to the error database	2023-10-12 14:11:54 +02:00
Julian Raufelder	109f5d1faa	Update the error-db when a discussion is deleted	2023-10-12 10:56:14 +02:00
Sebastian Stenzel	f2af6f355c	remove debug step ... [ci skip]	2022-07-08 13:09:26 +02:00
Sebastian Stenzel	58d01b5bf5	fixed errors ... [ci skip]	2022-07-08 13:07:30 +02:00
Sebastian Stenzel	5e19cd409f	use different action for getting the gist ... [ci skip]	2022-07-08 12:56:02 +02:00
Sebastian Stenzel	4dd58a664e	Update error-db.yml ... add discussion data to errorcodes.json gist [ci skip]	2022-07-08 12:48:50 +02:00
Sebastian Stenzel	12302162b1	Update error-db.yml ... [ci skip]	2022-07-07 17:35:48 +02:00
Sebastian Stenzel	df099df334	Create error-db.yml ... Eventually append discussion data to error database	2022-07-07 17:13:27 +02:00