Skip to content

Set Externally_Built to prevent GNATprove from trying to analyse the runtime#26

Merged
damaki merged 1 commit into
mainfrom
topic/prevent-gnatprove-analysis
May 7, 2026
Merged

Set Externally_Built to prevent GNATprove from trying to analyse the runtime#26
damaki merged 1 commit into
mainfrom
topic/prevent-gnatprove-analysis

Set Externally_Built to prevent GNATprove from trying to analyse the …

c0ee682
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build-and-test (windows-latest)
succeeded May 7, 2026 in 14m 13s