Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #106 from OffchainLabs/release-ci-2
Run ci on push to release
- Loading branch information