Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for FSF GNAT 11 #674

Closed
treiher opened this issue Jun 10, 2021 · 0 comments · Fixed by #787
Closed

Support for FSF GNAT 11 #674

treiher opened this issue Jun 10, 2021 · 0 comments · Fixed by #787
Assignees
@treiher
Labels
small Effort of one person-day or less
Projects
RecordFlux 0.6

Comments

@treiher
Copy link
Collaborator

treiher commented Jun 10, 2021

The compatibility with FSF GNAT 11.1 should be tested in the nightly tests.
@treiher treiher added this to To do in RecordFlux 0.7 via automation Jun 10, 2021
@senier senier removed this from To do in RecordFlux 0.7 Jul 26, 2021
@senier senier added this to To do in RecordFlux 0.6 via automation Jul 26, 2021
@treiher treiher added the small Effort of one person-day or less label Aug 9, 2021
@treiher treiher moved this from To do to In progress in RecordFlux 0.6 Sep 22, 2021
@treiher treiher self-assigned this Sep 22, 2021
@treiher treiher mentioned this issue Sep 28, 2021
Closed
treiher added a commit that referenced this issue Sep 29, 2021
@treiher
Ensure compatibility to FSF GNAT 11
18f8d64 
Ref. #674
treiher added a commit that referenced this issue Sep 29, 2021
@treiher
Ensure compatibility to FSF GNAT 11
f163f98 
Ref. #674
@treiher treiher mentioned this issue Sep 29, 2021
Merged
@treiher treiher moved this from In progress to Under review in RecordFlux 0.6 Sep 29, 2021
@treiher treiher changed the title Support for FSF GNAT 11.1 Support for FSF GNAT 11 Sep 29, 2021
RecordFlux 0.6 automation moved this from Under review to Merged Sep 30, 2021
treiher added a commit that referenced this issue Sep 30, 2021
@treiher
Ensure compatibility to FSF GNAT 11
9f9cc0b 
Ref. #674
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
small Effort of one person-day or less
Projects
No open projects
RecordFlux 0.6
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 674: Ensure compatibility to FSF GNAT 11 AdaCore/RecordFlux
1 participant
@treiher