Skip to content

GitHub ci#22

Merged
nmellado merged 2 commits intomainfrom
githubCI
Mar 28, 2024
Merged

GitHub ci#22
nmellado merged 2 commits intomainfrom
githubCI

Conversation

@hiergaut
Copy link
Copy Markdown
Contributor

@hiergaut hiergaut commented Mar 22, 2024

Added github ci working with full pipeline :
configure -> build -> install

@hiergaut hiergaut requested a review from nmellado March 22, 2024 14:18
@hiergaut

This comment was marked as off-topic.

@hiergaut

This comment was marked as off-topic.

@hiergaut hiergaut force-pushed the githubCI branch 2 times, most recently from 4b17c00 to 691509e Compare March 25, 2024 16:37
@hiergaut hiergaut marked this pull request as draft March 26, 2024 13:34
@hiergaut hiergaut marked this pull request as ready for review March 26, 2024 15:45
@nmellado
Copy link
Copy Markdown
Contributor

Ready to review ?

@hiergaut
Copy link
Copy Markdown
Contributor Author

Yes, this PR is ready

@nmellado nmellado merged commit 4568e5c into main Mar 28, 2024
@nmellado nmellado deleted the githubCI branch March 28, 2024 14:19
@hiergaut hiergaut mentioned this pull request Mar 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants