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
2026-01-15 - 2026-02-15
Overview
Excluding merges,
4 authors
have pushed
17 commits
to master and
29 commits
to all branches.
On master,
7 files
have changed
and there have been
1440 additions
and
645 deletions.