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

Information about optimization and version of dependencies in bug box #655

Closed
treiher opened this issue May 3, 2021 · 0 comments · Fixed by #656
Closed

Information about optimization and version of dependencies in bug box #655

treiher opened this issue May 3, 2021 · 0 comments · Fixed by #656
Assignees
@treiher

Comments

@treiher
Copy link
Collaborator

treiher commented May 3, 2021

A bug box should contain the versions of all dependencies and whether optimization is enabled.
@treiher treiher self-assigned this May 3, 2021
treiher added a commit that referenced this issue May 3, 2021
@treiher
Add version and optimization information to bug box
80bfaae 
Ref. #655
treiher added a commit that referenced this issue May 3, 2021
@treiher
Add version and optimization information to bug box
60170f0 
Ref. #655
treiher added a commit that referenced this issue May 3, 2021
@treiher
Add version and optimization information to bug box
c40159f 
Ref. #655
@treiher treiher mentioned this issue May 3, 2021
Merged
treiher added a commit that referenced this issue May 4, 2021
@treiher
Add version and optimization information to bug box
587ef03 
Ref. #655
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 655: Add version and optimization information to bug box AdaCore/RecordFlux
1 participant
@treiher