100 Commits

Author	SHA1	Message	Date
gusthoff	93bca6b45a	Github actions: renaming branches: "master" => "main" ... Branch was renamed on 2025-07-11.	2025-10-18 02:47:31 +02:00
gusthoff	da9997427f	GitHub actions: upgrade to Node 24	2025-06-27 12:53:17 +02:00
gusthoff	658d6a158e	GitHub actions: upgrading to Ubuntu 24.04 ... Also: upgrading to Python 3.12.	2025-03-22 01:12:50 +01:00
gusthoff	1b36c64dd3	Revert "GitHub actions: reintroducing testing on "push"" ... This reverts commit 796989ca86.	2025-02-22 17:56:36 +01:00
gusthoff	796989ca86	GitHub actions: reintroducing testing on "push"	2025-02-20 02:34:00 +01:00
gusthoff	b113f1d6bf	GitHub actions: upgrade to Node 22	2024-12-27 14:43:23 +01:00
Gustavo A. Hoffmann	c74a679b0a	GitHub actions: adding apt package: xindy	2024-10-26 20:18:20 +02:00
gusthoff	900df442d8	GitHub actions: use frozen list of Python packages	2024-09-27 23:12:15 +02:00
gusthoff	097e01f55e	GitHub actions: use highest compression level for artifacts	2024-09-06 19:30:00 +02:00
gusthoff	7c6c95add0	GitHub actions: indicate error if no files are found	2024-09-06 19:29:28 +02:00
gusthoff	4f70486640	GitHub actions: updating to latest version of upload action	2024-09-06 19:28:41 +02:00
gusthoff	95da0c529f	GitHub actions: add cache dependency path for node action	2024-08-18 14:02:30 +02:00
gusthoff	e4bb7a5d62	GitHub actions: updating version of actions	2024-08-18 14:02:04 +02:00
gusthoff	b1e07145f8	GitHub actions: minor editorial change	2024-08-11 15:40:22 +02:00
gusthoff	cad3b3f30d	GitHub actions: refactoring of toolchain installation ... Moving toolchain installation code to separate script.	2024-08-11 15:32:16 +02:00
gusthoff	8dcce41992	GitHub actions: minor fixes	2024-08-11 03:30:42 +02:00
gusthoff	5eb5642a27	GitHub actions: using toolchain information from configuration file	2024-08-11 02:53:34 +02:00
gusthoff	9f188e66ac	Minor fix	2024-08-10 01:22:07 +02:00
gusthoff	13f8a6b420	GitHub: introducing support for multiple versions of toolchain	2024-08-10 01:22:07 +02:00
gusthoff	72881bc78e	GitHub actions: further adaptations for yarn 4.x upgrade ... Enable Corepack.	2024-06-08 01:21:29 +02:00
gusthoff	ac587f9644	GitHub actions: adaptation for yarn 4.x upgrade	2024-06-08 01:21:28 +02:00
gusthoff	15d764e91c	GitHub actions: upgrading to Node.js 20	2024-06-02 20:53:02 +02:00
gusthoff	291c9dddb1	GitHub actions: using automatic trigger on push	2024-04-05 20:53:18 +02:00
gusthoff	22e8d68cca	GitHub actions: using entries directly	2024-04-05 20:53:00 +02:00
gusthoff	b26d4eafb4	GitHub actions: dummy version of publish-learn-latest	2024-04-05 20:20:10 +02:00