Skip to content

Pull requests: AdaCore/learn

New pull request New
Clear current search query, filters, and sorts
2 Open 1,129 Closed
2 Open 1,129 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Frontend: removing old node-linker package website infrastructure
#1290 by gusthoff was merged Nov 30, 2025 Loading…
Frontend: update some yarn packages website infrastructure
#1289 by gusthoff was merged Nov 30, 2025 Loading…
Python: updating some packages website infrastructure
#1288 by gusthoff was merged Nov 30, 2025 Loading…
Bump js-yaml from 3.14.1 to 3.14.2 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#1286 by dependabot bot was merged Nov 27, 2025 Loading…
1
Bump node-forge from 1.3.1 to 1.3.2 in /frontend dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code
#1285 by dependabot bot was merged Nov 27, 2025 Loading…
1
Editorial changes: minor improvements to "Advanced Ada" course editorial
#1284 by gusthoff was merged Nov 1, 2025 Loading…
Editorial change: updating list for 2025-09 / 2025-10 releases editorial
#1283 by gusthoff was merged Nov 1, 2025 Loading…
Python: updating some packages website infrastructure
#1282 by gusthoff was merged Oct 31, 2025 Loading…
Frontend: update/upgrade some yarn packages website infrastructure
#1281 by gusthoff was merged Oct 31, 2025 Loading…
First version of the Railway Software Booklet
#1280 by Fabien-Chouteau was merged Nov 27, 2025 Loading…
3
Frontend: downgrading some yarn packages due to test failures website infrastructure
#1279 by gusthoff was merged Oct 18, 2025 Loading…
Sphinx: migrating to Furo theme website infrastructure
#1278 by gusthoff was merged Oct 31, 2025 Loading…
Revisions in response to Steve's review editorial
#1277 by pat-rogers was merged Oct 31, 2025 Loading…
5
Adding section on fixed-point types new section Section using new content
#1276 by gusthoff was merged Oct 10, 2025 Loading…
5
Editorial change: various corrections and improvements to "Airborne Software" booklet editorial
#1275 by gusthoff was merged Sep 29, 2025 Loading…
Frontend: upgrade some yarn packages website infrastructure
#1274 by gusthoff was merged Sep 26, 2025 Loading…
Frontend: update some yarn packages website infrastructure
#1273 by gusthoff was merged Sep 26, 2025 Loading…
Python: updating some packages website infrastructure
#1272 by gusthoff was merged Sep 26, 2025 Loading…
Editorial change: adapting Sphinx include editorial
#1271 by gusthoff was merged Sep 19, 2025 Loading…
Yet another use of "Solution" in a heading rather than "Implementation"
#1270 by pat-rogers was merged Sep 20, 2025 Loading…
Sphinx: moving global.txt file to "content" directory website infrastructure
#1269 by gusthoff was merged Sep 19, 2025 Loading…
Adding chapter on silent task termination new section Section using new content
#1268 by gusthoff was merged Sep 19, 2025 Loading…
2
Make terminology consistent. editorial
#1267 by pat-rogers was merged Sep 19, 2025 Loading…
Update content-description
#1266 by pat-rogers was merged Sep 19, 2025 Loading…
1
Editorial change: minor additions to chapter on numerics editorial
#1265 by gusthoff was merged Sep 19, 2025 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.