Closed borisliao closed 3 years ago
This is part 2 of 2 for adding the AWS workflow to GitHub Actions.
File Description:
Merge #84 before merging this PR so that GitHub Actions can request the currently running bot to shut down gracefully.
This is part 2 of 2 for adding the AWS workflow to GitHub Actions.
File Description:
Merge #84 before merging this PR so that GitHub Actions can request the currently running bot to shut down gracefully.