Merge pull request #23 from pinterest/github-actions
Switch to GitHub Actions-based CI
Description
Description
Details
Details
- Provenance
Jon Parise Authored on Sep 13 2019, 16:39 GitHub Committed on Sep 13 2019, 16:39 kuba-orlik Pushed on May 3 2022, 16:02 - Parents
- R124:d8e948076f66: Switch to GitHub Actions-based CI
R124:68fa98f3d617: Set a default name for rules with null names (#22) - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes