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.

Sign up for GitHub

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

Jump to bottom

Update the CI configuration to properly set PR bodies #23

Merged
merged 4 commits into from Nov 18, 2021
Merged

Update the CI configuration to properly set PR bodies #23

merged 4 commits into from Nov 18, 2021

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Nov 17, 2021 •
edited

Update the CI configuration to properly set PR bodies

Changelog

  • (8641ab7) Update the CI configuration to properly set PR bodies (Denis Tokarev)
  • (9086d68) Set test timeout to 10s (Denis Tokarev)
  • (e9830c3) Update auto-labeling (Denis Tokarev)
  • (de1126f) Add re-labeling (Denis Tokarev)

@github-actions github-actions bot added this to the 2.0.0 milestone Nov 17, 2021
@github-actions github-actions bot added the 2.0.0 Everything that belongs to version 2.0.0 label Nov 17, 2021
@github-actions github-actions bot changed the title Pulling refs/heads/upgrade-deps into master Fix Nov 17, 2021
@github-actions github-actions bot changed the title Fix Test Nov 17, 2021
@github-actions github-actions bot changed the title Test commit b958255a590f312e3cfa4efa74642a5a804bcb5d Nov 17, 2021
@github-actions github-actions bot changed the title commit b958255a590f312e3cfa4efa74642a5a804bcb5d commit 85173817857662b486884bd1178c39e4c7f5906c Nov 17, 2021
@github-actions github-actions bot changed the title commit 85173817857662b486884bd1178c39e4c7f5906c Test Nov 17, 2021
@github-actions github-actions bot changed the title Test 'Test' Nov 17, 2021
@github-actions github-actions bot changed the title 'Test' Test Nov 17, 2021
@github-actions github-actions bot changed the title Test Update CI configuration Nov 17, 2021
@github-actions github-actions bot changed the title Update CI configuration Changelog format fix Nov 17, 2021
@github-actions github-actions bot changed the title Changelog format fix Update format Nov 17, 2021
@github-actions github-actions bot changed the title Update format Update print format Nov 17, 2021
@github-actions github-actions bot changed the title Update print format Update echo format Nov 17, 2021
@github-actions github-actions bot changed the title Update echo format Update echo format again Nov 17, 2021
@github-actions github-actions bot changed the title Update echo format again Show branch name Nov 17, 2021
@github-actions github-actions bot changed the title Show branch name Hmm Nov 17, 2021
@github-actions github-actions bot changed the title Hmm Experimental Nov 17, 2021
@github-actions github-actions bot changed the title Experimental Experimental update Nov 17, 2021
@github-actions github-actions bot changed the title Experimental update Fix typo Nov 17, 2021
@github-actions github-actions bot changed the title Fix typo Esc Nov 17, 2021
@github-actions github-actions bot changed the title Esc Debug Nov 17, 2021
@github-actions github-actions bot changed the title Debug Debug 4 Nov 18, 2021
@github-actions github-actions bot changed the title Debug 4 Debug 11 Nov 18, 2021
@github-actions github-actions bot changed the title Debug 11 Debug 12 Nov 18, 2021
@github-actions github-actions bot changed the title Debug 12 Debug 13 Nov 18, 2021
@devlato devlato changed the title Debug 13 Test Title Nov 18, 2021
@github-actions github-actions bot changed the title Test Title Update CI configuration Nov 18, 2021
@devlato devlato changed the title Update CI configuration Test Title Nov 18, 2021
@github-actions github-actions bot changed the title Test Title Update CI configuration Nov 18, 2021
@github-actions github-actions bot changed the title Update CI configuration Update the CI configuration to properly set PR bodies Nov 18, 2021
@github-actions github-actions bot added the Ready to merge This PR is ready to be merged label Nov 18, 2021
@devlato devlato removed the Ready to merge This PR is ready to be merged label Nov 18, 2021
@devlato devlato added the Ready to merge This PR is ready to be merged label Nov 18, 2021
@github-actions github-actions bot merged commit 8641a51 into master Nov 18, 2021
@github-actions github-actions bot deleted the upgrade-deps branch November 18, 2021 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@devlato devlato devlato approved these changes

Assignees

@devlato devlato

Labels
2.0.0 Everything that belongs to version 2.0.0 Ready to merge This PR is ready to be merged
Projects
None yet
Milestone
2.0.0
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@devlato