Skip to content

Improve CI: documentation and naming#50

Merged
UlisesGascon merged 2 commits intomainfrom
ci/final-details
Dec 7, 2024
Merged

Improve CI: documentation and naming#50
UlisesGascon merged 2 commits intomainfrom
ci/final-details

Conversation

@UlisesGascon
Copy link
Member

@UlisesGascon UlisesGascon commented Dec 7, 2024

Main Changes

  • Rename the pipeline to better reflect the objective (9409811)
  • Include the PR comments in the contribution guide (3008d06)

Changelog

@UlisesGascon UlisesGascon self-assigned this Dec 7, 2024
@UlisesGascon UlisesGascon added this to the MVP Version milestone Dec 7, 2024
@UlisesGascon UlisesGascon marked this pull request as ready for review December 7, 2024 18:41
@UlisesGascon UlisesGascon changed the title Improve CI Improve CI: documentation and naming Dec 7, 2024
@UlisesGascon UlisesGascon merged commit 17eeaa5 into main Dec 7, 2024
@UlisesGascon UlisesGascon deleted the ci/final-details branch December 7, 2024 18:42
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.

1 participant