Closed hujiajie closed 4 years ago
The bot will be triggered by pull request events and try to build Aquarium with different configurations.
See https://help.github.com/en/actions for more info about GitHub Actions.
The bot will be triggered by pull request events and try to build Aquarium with different configurations.
See https://help.github.com/en/actions for more info about GitHub Actions.