Skip to content
This repository has been archived by the owner on Oct 10, 2022. It is now read-only.

Adapt specifications to style checks #96

Closed
treiher opened this issue Oct 20, 2021 · 0 comments · Fixed by #97
Closed

Adapt specifications to style checks #96

treiher opened this issue Oct 20, 2021 · 0 comments · Fixed by #97

Comments

@treiher
Copy link
Member

treiher commented Oct 20, 2021

Adapt specifications to style enforced by style checker implemented in AdaCore/RecordFlux#799.

@treiher treiher self-assigned this Oct 20, 2021
@treiher treiher added this to To do in RecordFlux Specifications via automation Oct 20, 2021
@treiher treiher moved this from To do to In progress in RecordFlux Specifications Oct 20, 2021
treiher added a commit that referenced this issue Oct 21, 2021
@treiher treiher moved this from In progress to Under review in RecordFlux Specifications Oct 21, 2021
treiher added a commit that referenced this issue Oct 21, 2021
treiher added a commit that referenced this issue Oct 22, 2021
RecordFlux Specifications automation moved this from Under review to Merged Oct 22, 2021
treiher added a commit that referenced this issue Oct 22, 2021
treiher added a commit that referenced this issue Oct 22, 2021
treiher added a commit to AdaCore/RecordFlux that referenced this issue Oct 7, 2022
treiher added a commit to AdaCore/RecordFlux that referenced this issue Oct 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

1 participant