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.

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

Add common workflows and files #69

Merged
merged 6 commits into from
Jul 23, 2024
Merged

Add common workflows and files #69

merged 6 commits into from
Jul 23, 2024

Conversation

lucacome
Copy link
Member

@lucacome lucacome commented Jul 3, 2024

Adds common files and workflows

@lucacome lucacome self-assigned this Jul 3, 2024
@lucacome lucacome force-pushed the chore/common-files branch from 90634ea to 44ce610 Compare July 3, 2024 19:51
@github-actions github-actions bot added documentation Improvements or additions to documentation chore labels Jul 3, 2024
@lucacome lucacome force-pushed the chore/common-files branch 2 times, most recently from 563ee44 to fef5347 Compare July 3, 2024 20:28
@lucacome lucacome force-pushed the chore/common-files branch from fef5347 to 7a955c3 Compare July 3, 2024 21:29
@lucacome lucacome requested a review from a team July 6, 2024 01:42
@vepatel vepatel requested a review from pdabelf5 July 15, 2024 16:02
@lucacome lucacome enabled auto-merge (squash) July 23, 2024 16:08
@lucacome lucacome merged commit 89d186e into main Jul 23, 2024
9 checks passed
@lucacome lucacome deleted the chore/common-files branch July 23, 2024 16:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants