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

Reduce duplication in GitHub actions #850

Closed
treiher opened this issue Nov 16, 2021 · 1 comment
Closed

Reduce duplication in GitHub actions #850

treiher opened this issue Nov 16, 2021 · 1 comment
Labels
small Effort of one person-day or less testing
Projects
RecordFlux Future

Comments

@treiher
Copy link
Collaborator

treiher commented Nov 16, 2021

https://github.blog/changelog/2021-08-25-github-actions-reduce-duplication-with-action-composition/

Related to #848 (comment).
@treiher treiher added this to To do in RecordFlux 0.6 via automation Nov 16, 2021
@treiher treiher mentioned this issue Nov 16, 2021
Merged
treiher added a commit that referenced this issue Jan 21, 2022
@treiher
Use SPARK Pro 22.1 for CI
bf3ade1 
Ref. #768, #850
treiher added a commit that referenced this issue Jan 28, 2022
@treiher
Use SPARK Pro 22.1 for CI
1cdf18e 
Ref. #768, #850
treiher added a commit that referenced this issue Jan 31, 2022
@treiher
Use SPARK Pro 23.0w in CI
a28fbfd 
Ref. #768, #850
treiher added a commit that referenced this issue Jan 31, 2022
@treiher
Use SPARK Pro 23.0w in CI
a5e4d1e 
Ref. #768, #850
treiher added a commit that referenced this issue Jan 31, 2022
@treiher
Use SPARK Pro 23.0w in CI
1e3ecb8 
Ref. #768, #850
treiher added a commit that referenced this issue Jan 31, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
1f069e6 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 1, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
337cbed 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 2, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
6fedc94 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 8, 2022
@treiher
Add action for installing GNAT Pro
d27abe0 
Ref. #850
treiher added a commit that referenced this issue Feb 8, 2022
@treiher
Add action for installing GNAT Pro
533d7de 
Ref. #850
treiher added a commit that referenced this issue Feb 9, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
b3846ad 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 9, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
638d8b3 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 9, 2022
@treiher
Add action for installing GNAT Pro
0625499 
Ref. #850
treiher added a commit that referenced this issue Feb 11, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
82b0b60 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 11, 2022
@treiher
Use SPARK Pro 23.0w in tests workflow
0342cf2 
Ref. #768, #850
treiher added a commit that referenced this issue Feb 11, 2022
@treiher
Add action for installing GNAT Pro
344eb00 
Ref. #850
treiher added a commit that referenced this issue Feb 11, 2022
@treiher
Add action for installing GNAT Pro
f857f10 
Ref. #850
treiher added a commit that referenced this issue Feb 11, 2022
@treiher
Add action for installing GNAT Pro
3a0d8ad 
Ref. #850
@senier senier removed this from To do in RecordFlux 0.6 Aug 23, 2022
@senier senier added this to To do in RecordFlux Future via automation Aug 23, 2022
@senier senier added the small Effort of one person-day or less label Aug 24, 2022
@senier senier removed this from Medium in RecordFlux Future Aug 30, 2022
@senier senier added this to To do in RecordFlux 0.7 via automation Aug 30, 2022
@treiher treiher removed this from To do in RecordFlux 0.7 Sep 26, 2022
@treiher treiher added this to Medium in RecordFlux Future via automation Sep 26, 2022
@senier senier moved this from Medium to Low in RecordFlux Future Oct 4, 2022
@treiher
Copy link
Collaborator Author

treiher commented Mar 28, 2023

Obsolete, as GitHub CI is not used anymore.

@treiher treiher closed this as completed Mar 28, 2023
RecordFlux Future automation moved this from Low to Wontfix Mar 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
small Effort of one person-day or less testing
Projects
No open projects
RecordFlux Future
  
Wontfix
Milestone
No milestone
Development

No branches or pull requests
2 participants
@senier @treiher