You've already forked ada-spark-rfcs
mirror of
https://github.com/AdaCore/ada-spark-rfcs.git
synced 2026-02-12 13:03:10 -08:00
2025-02-15 - 2026-02-15
Overview
Excluding merges,
29 authors
have pushed
166 commits
to master and
214 commits
to all branches.
On master,
73 files
have changed
and there have been
12843 additions
and
3771 deletions.