# \#ci

**URL:** https://forum.ada-lang.io/tag/ci/94.md

[Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md)

---

## [SPARK within CI](https://forum.ada-lang.io/t/spark-within-ci/4888)

<div class="topic-metadata">

**Author:** [@LionelDraghi](https://forum.ada-lang.io/u/LionelDraghi)\
**Replies:** 1\
**Last updated:** [October 23, 2026, 1:52pm UTC](https://forum.ada-lang.io/t/spark-within-ci/4888 "2026-10-23T13:52:45Z")

</div>

I’ve recently started a project involving several firsts for me, including SPARK. GNATprove already takes much longer than the test suite, and I expect the gap to grow as the project gets larger. My GitHub CI (topoproo…