mirror of
https://github.com/AdaCore/learn.git
synced 2026-02-12 13:00:42 -08:00
2025-11-15 - 2026-02-15
Overview
Excluding merges,
2 authors
have pushed
9 commits
to main and
85 commits
to all branches.
On main,
4 files
have changed
and there have been
23 additions
and
25 deletions.
3 Releases published by 1 user
Published
r2026.01.31
Published
r2025.12.27
Published
r2025.11.30