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
5,761 Commits 29 Branches 47 Tags
main
Commit Graph

891 Commits

Author SHA1 Message Date
gusthoff
de1a32323c Frontend: deduplicate yarn packages 2026-01-30 23:12:04 +01:00
gusthoff
3d3867590f Frontend: update some yarn packages 2026-01-30 21:50:43 +01:00
gusthoff
47f3c0dbf5 Frontend: update yarn version 2026-01-30 21:49:50 +01:00
gusthoff
87dabdc046 Sphinx: upgrade to Sphinx 9.1.0 
Also, update to:

- docutils 0.22.4
- furo 2025.12.19
 2026-01-30 20:07:47 +01:00
dependabot[bot]
45a5a9a531 Bump tar from 7.5.6 to 7.5.7 in /frontend 
Bumps [tar](https://github.com/isaacs/node-tar) from 7.5.6 to 7.5.7.
- [Release notes](https://github.com/isaacs/node-tar/releases)
- [Changelog](https://github.com/isaacs/node-tar/blob/main/CHANGELOG.md)
- [Commits](https://github.com/isaacs/node-tar/compare/v7.5.6...v7.5.7)

---
updated-dependencies:
- dependency-name: tar
  dependency-version: 7.5.7
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-01-30 19:14:34 +01:00
dependabot[bot]
918ccf1ea0 Bump lodash from 4.17.21 to 4.17.23 in /frontend 
Bumps [lodash](https://github.com/lodash/lodash) from 4.17.21 to 4.17.23.
- [Release notes](https://github.com/lodash/lodash/releases)
- [Commits](https://github.com/lodash/lodash/compare/4.17.21...4.17.23)

---
updated-dependencies:
- dependency-name: lodash
  dependency-version: 4.17.23
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-01-23 01:40:12 +01:00
dependabot[bot]
cb9dcc3c18 Bump tar from 7.5.2 to 7.5.6 in /frontend 
Bumps [tar](https://github.com/isaacs/node-tar) from 7.5.2 to 7.5.6.
- [Release notes](https://github.com/isaacs/node-tar/releases)
- [Changelog](https://github.com/isaacs/node-tar/blob/main/CHANGELOG.md)
- [Commits](https://github.com/isaacs/node-tar/compare/v7.5.2...v7.5.6)

---
updated-dependencies:
- dependency-name: tar
  dependency-version: 7.5.6
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-01-23 01:39:19 +01:00
gusthoff
d241bc49e2 Editorial change: updating copyright year 2026-01-10 20:55:11 +01:00
gusthoff
e15727d859 Editorial change: fixing background color of target section titles 2026-01-09 15:19:42 +01:00
gusthoff
555a66afd1 Editorial change: adding comment about additional colors in conf.py file 2026-01-09 15:18:28 +01:00
dependabot[bot]
1dc8892579 Bump urllib3 from 2.6.0 to 2.6.3 in /frontend 
Bumps [urllib3](https://github.com/urllib3/urllib3) from 2.6.0 to 2.6.3.
- [Release notes](https://github.com/urllib3/urllib3/releases)
- [Changelog](https://github.com/urllib3/urllib3/blob/main/CHANGES.rst)
- [Commits](https://github.com/urllib3/urllib3/compare/2.6.0...2.6.3)

---
updated-dependencies:
- dependency-name: urllib3
  dependency-version: 2.6.3
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-01-09 14:55:24 +01:00
gusthoff
0d69d865ad Editorial change: fixing background color of static code examples 2026-01-02 14:39:10 +01:00
gusthoff
1aa968189a Vagrant VM: updating Ubuntu box version 2025-12-26 20:59:44 -03:00
dependabot[bot]
675d0eeb2f Bump urllib3 from 2.5.0 to 2.6.0 in /frontend 
Bumps [urllib3](https://github.com/urllib3/urllib3) from 2.5.0 to 2.6.0.
- [Release notes](https://github.com/urllib3/urllib3/releases)
- [Changelog](https://github.com/urllib3/urllib3/blob/main/CHANGES.rst)
- [Commits](https://github.com/urllib3/urllib3/compare/2.5.0...2.6.0)

---
updated-dependencies:
- dependency-name: urllib3
  dependency-version: 2.6.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
 2025-12-07 22:05:00 +01:00
gusthoff
40c5250eeb Frontend: removing old node-linker package 2025-11-30 23:24:59 +01:00
gusthoff
02efe778e7 Frontend: using "compatible with" syntax for version number 2025-11-30 23:22:12 +01:00
gusthoff
6b411a59bb Frontend: update yarn.lock based on current package.json 2025-11-30 23:22:12 +01:00
gusthoff
93a084aa4c Frontend: update some yarn packages 2025-11-30 23:22:12 +01:00
gusthoff
e3e09c2f14 Python: updating some packages 2025-11-30 23:20:48 +01:00
dependabot[bot]
1dd53a55fc Bump js-yaml from 3.14.1 to 3.14.2 in /frontend 
Bumps [js-yaml](https://github.com/nodeca/js-yaml) from 3.14.1 to 3.14.2.
- [Changelog](https://github.com/nodeca/js-yaml/blob/master/CHANGELOG.md)
- [Commits](https://github.com/nodeca/js-yaml/compare/3.14.1...3.14.2)

---
updated-dependencies:
- dependency-name: js-yaml
  dependency-version: 3.14.2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2025-11-28 00:35:56 +01:00
dependabot[bot]
8004f7d98a Bump node-forge from 1.3.1 to 1.3.2 in /frontend 
Bumps [node-forge](https://github.com/digitalbazaar/forge) from 1.3.1 to 1.3.2.
- [Changelog](https://github.com/digitalbazaar/forge/blob/main/CHANGELOG.md)
- [Commits](https://github.com/digitalbazaar/forge/compare/v1.3.1...v1.3.2)

---
updated-dependencies:
- dependency-name: node-forge
  dependency-version: 1.3.2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2025-11-28 00:31:03 +01:00
gusthoff
46d60a6110 Python: updating some packages 2025-11-01 00:59:17 +01:00
gusthoff
81953a01c8 Python: removing sphinx-rtd-theme package 2025-11-01 00:59:17 +01:00
gusthoff
bea3d7240f Python: adding dependency for furo package 2025-11-01 00:59:17 +01:00
gusthoff
e466545cff Frontend: upgrade some yarn packages 2025-10-31 22:43:17 +01:00