Skip to content

Conversation

@trz42
Copy link
Contributor

@trz42 trz42 commented Feb 27, 2024

Bug fixes:

Improvements:

spell correction

Co-authored-by: Lara Ramona Peeters <[email protected]>
Copy link
Collaborator

@laraPPr laraPPr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@laraPPr laraPPr merged commit a17b9e1 into EESSI:develop Feb 28, 2024
* fixes issue using wrong values when using the `bot: status` command (#251)

Improvements:
* the bot report when downloading the pull request's contents failed (#248)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Small suggestion: make bot report when preparing job working directory failed, for example due to merge conflict in pull request (#248)

* adding the pull request comment id to the metadata file that is uploaded to the
the S3 bucket (#247, #249, #250, #253)
* enabling configurable upload directories for tarball and metadata file (#254)
* the bot only responds to pull request comments that contain a bot command (#257)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

only make bot respond to pull ...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants