mathlib3
7b1105bf - chore(build): build only master and its related PRs

Commit

6 years ago

chore(build): build only master and its related PRs

References

Author

cipher1024

cipher1024

Parents

Loading