ada/learn
0
0
Fork 0
mirror of https://github.com/AdaCore/learn.git synced 2026-02-12 13:00:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
4,432 Commits 29 Branches 47 Tags
coding_standards
Commit Graph

75 Commits

Author SHA1 Message Date
gusthoff
d1673e9b05 Python: updating tests to Python 3.11 2023-09-29 21:30:28 +02:00
gusthoff
0f58d6787c GitHub actions: passing empty HIDDEN_CONTENTS variable 
This allows for testing hidden contents.
 2023-07-15 03:12:45 +02:00
gusthoff
f55fe162bd GitHub actions: ensure hidden content is tested 2023-05-05 12:40:02 +02:00
gusthoff
4f79c0c720 Vagrant VM: updating FSF GNAT 
Updating from 12.1.0-2 to 12.2.0-1.
 2023-04-28 21:16:02 +02:00
gusthoff
ee14a92e42 Makefile: moving source-code blocks of hidden books into separate target 2023-03-31 13:45:03 -11:00
gusthoff
9f38424813 GitHub actions: updating Ubuntu version 2023-02-06 17:55:10 -03:00
gusthoff
a785eee1c8 GitHub actions: updating to Node 18 2023-02-06 17:54:34 -03:00
gusthoff
96241497f4 Frontend: increase number of user watches 
Needed for npm.
 2022-12-30 03:13:33 +01:00
gusthoff
2f306ef4bc GitHub actions: replacing with GITHUB_PATH 2022-10-07 15:13:40 +02:00
gusthoff
679b812d73 GitHub actions: fixing PATH 2022-10-07 14:55:31 +02:00
gusthoff
1dc6941538 GitHub actions: adding 'sudo' 2022-10-07 14:35:05 +02:00
gusthoff
8552ba3ec9 GitHub actions: fetching GNAT FSF from Alire 2022-10-07 14:04:05 +02:00
gusthoff
b4e402064b GitHub actions: retrieving GNAT FSF 12 via apt 
Replacing ada-actions by apt-get installation.
 2022-09-30 21:06:38 +02:00
gusthoff
5a51007f9d GitHub actions: readding community year 2022-09-30 20:56:48 +02:00
gusthoff
0e0bc4c83e GitHub actions: updating GNAT toolchain to FSF 
Replacing previous GNAT CE 2021.
 2022-09-30 20:51:33 +02:00
gusthoff
415594bffc Removing support for MOBI format 2022-08-20 00:41:48 +02:00
Rowan Walshe
705668af8a Add apt-get update before apt-get install to github action 2022-08-09 13:08:20 +01:00
gusthoff
ce60363f52 GitHub actions: adding quotes 
Avoid parsing version string as a number.
 2022-07-08 23:10:26 +02:00
gusthoff
c3b35149a9 GitHub actions: updating to Ubuntu 22.04 2022-07-08 23:01:15 +02:00
gusthoff
88602abdd7 GitHub actions: adding plantuml package 2022-05-14 07:44:24 +02:00
gusthoff
7598add358 Sphinx: including support for PlantUML 2022-05-14 07:00:34 +02:00
gusthoff
b8c1c0c699 VM: updating Calibre version 2022-04-15 14:37:54 +02:00
gusthoff
729acee32d GitHub actions: updating list of packages before installing 2022-01-18 15:59:30 -03:00
gusthoff
0a89ca49ad GitHub actions: replacing azw3 by mobi target 2021-11-19 23:51:15 +01:00
gusthoff
4b9b2a3605 GitHub actions: freezing Python version 
Setting to Python 3.9.
 2021-10-31 09:48:43 +01:00