69 Commits

Author	SHA1	Message	Date
Michael Frank	ebd245c998	Resolve "Generate BNF source file"	2025-08-25 13:28:49 +00:00
Michael Frank	35d2525b5c	Resolve "Move lab prompts to appropriate module"	2025-08-19 21:31:06 +00:00
Michael Frank	4935503b48	Convert Fundamentals of Ada to Ada Essentials	2025-07-11 15:04:47 +00:00
Leo Germond	ab07682e88	GitHub runs CI on all push to server, no only with MR	2025-03-06 14:53:15 +01:00
Leo Germond	b2e69b4fb1	CI: install adacut	2024-12-18 10:30:39 +01:00
Leo Germond	4a88e39bce	rename codepeer to gnat sas in CI script	2024-06-24 11:57:29 +02:00
Leo Germond	e2ffe42b59	update actions	2024-04-11 09:36:51 +02:00
Leo Germond	4463b00d03	hotfix: black version 24.xx	2024-03-28 14:47:15 +01:00
Leo Germond	ac1185dcbe	install black 23	2024-03-05 12:46:45 +01:00
Leo Germond	400439517b	install black 23	2024-03-05 12:45:47 +01:00
Léo Germond	81d31e0564	GitHub python test: install pandocfilters	2023-10-13 17:05:46 +02:00
Leo Germond	c665c1f2d1	github CI: install pandoc on contrib check tests	2023-10-13 12:19:37 +02:00
Léo Germond	6ab88768b6	remove radar+solar system from the CI	2023-09-06 14:08:41 +02:00
Léo Germond	891467a912	use fsf	2023-04-17 16:39:42 +02:00
Léo Germond	0d2d95fcb8	download epycs from pypi	2023-04-15 08:55:28 +02:00
Léo Germond	c38b7fd33a	use GITHUB_OUTPUT to pass courses matrix	2023-04-15 08:55:28 +02:00
Léo Germond	c3536ab2a0	provide setup-python version inputs	2023-04-15 08:55:28 +02:00
Léo Germond	5c1c9f2229	ci workflow fix versions	2023-04-15 08:55:28 +02:00
Léo Germond	3b420ef499	GitHub Actions run on pull-request to all branches	2023-04-15 08:55:11 +02:00
Léo Germond	83a85cd5bb	update & fix script	2023-03-31 21:31:16 +02:00
Léo Germond	aeb993355e	ci upload fails if no file is found	2022-11-28 17:21:05 +01:00
Léo Germond	e4394e4887	gprbuild course	2022-11-22 15:26:06 +01:00
Léo Germond	96b34fe733	setup-python v4	2022-11-10 15:34:24 +01:00
Léo Germond	7d049d0ff3	remove CI warning	2022-11-10 15:34:24 +01:00
Léo Germond	4645b0a715	fix path upload	2022-11-10 10:35:50 +01:00