Skip to content

Conversation

@gusthoff
Copy link
Collaborator

No description provided.

@gusthoff gusthoff force-pushed the content/adacore-technologies-for-airborne-software/editorial/review/20251226 branch 2 times, most recently from 43feb5e to 2d7437c Compare December 26, 2025 23:38
@gusthoff gusthoff force-pushed the content/adacore-technologies-for-airborne-software/editorial/review/20251226 branch from 2d7437c to 3729e03 Compare December 27, 2025 01:21
@gusthoff gusthoff force-pushed the content/adacore-technologies-for-airborne-software/editorial/review/20251226 branch from 3729e03 to e37d10a Compare December 27, 2025 15:38
@gusthoff gusthoff merged commit 03844c2 into AdaCore:main Dec 27, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant