Skip to content
This repository has been archived by the owner on Feb 17, 2024. It is now read-only.

add github action #25

Merged
merged 13 commits into from
May 27, 2023
Merged

add github action #25

merged 13 commits into from
May 27, 2023

Conversation

achille-roussel
Copy link
Contributor

Follow up to #24

Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
Signed-off-by: Achille Roussel <[email protected]>
@achille-roussel achille-roussel merged commit 894f43e into main May 27, 2023
1 check passed
@achille-roussel achille-roussel deleted the github-actions branch May 27, 2023 05:47
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant