mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
dc942e653c
gnatsas outputs are moved out of object directory so they don't get cached in CIs. This enables having no baseline for gnatsas when running in CIs, so all messages (not reviewed as "not a bug") are reported.