mirror of
https://github.com/AdaCore/ada-eval.git
synced 2026-02-12 13:53:19 -08:00
2025-02-14 - 2026-02-14
Overview
Excluding merges,
1 author
has pushed
23 commits
to main and
231 commits
to all branches.
On main,
70 files
have changed
and there have been
2126 additions
and
999 deletions.