Run GHA CI only on push or pull request, but not both#9890
Closed
Sija wants to merge 2 commits intocrystal-lang:masterfrom
Closed
Run GHA CI only on push or pull request, but not both#9890Sija wants to merge 2 commits intocrystal-lang:masterfrom
Sija wants to merge 2 commits intocrystal-lang:masterfrom
Commits
Commits on Nov 9, 2020
Commits on Nov 23, 2020
- committed