mirror of
https://github.com/AdaCore/learn.git
synced 2026-02-12 13:00:42 -08:00
2026-01-15 - 2026-02-15
Overview
Excluding merges,
2 authors
have pushed
4 commits
to main and
46 commits
to all branches.
On main,
2 files
have changed
and there have been
13 additions
and
13 deletions.
1 Release published by 1 user
Published
r2026.01.31