Skip to content

Conversation

@gusthoff
Copy link
Collaborator

@gusthoff gusthoff commented Feb 8, 2025

No description provided.

@gusthoff gusthoff added the new section Section using new content label Feb 8, 2025
@gusthoff gusthoff requested a review from pat-rogers February 8, 2025 01:25
@gusthoff gusthoff requested a review from pat-rogers February 26, 2025 05:31
@gusthoff gusthoff force-pushed the content/advanced_ada/new_content/exceptions/checks_exceptions/tasking_check branch from 5754688 to 804c672 Compare February 26, 2025 16:29
@gusthoff gusthoff merged commit 755c560 into AdaCore:master Feb 26, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new section Section using new content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants