diff options
| author | natsuoto <[email protected]> | 2026-07-16 17:59:14 +0530 |
|---|---|---|
| committer | natsuoto <[email protected]> | 2026-07-16 17:59:14 +0530 |
| commit | 188c17c19a0c32e944d9a4234d33702d3adfe143 (patch) | |
| tree | 6b5f87a9949660f9042a506b592b64aa634cfeb4 /.github/workflows/github-actions.yml | |
| parent | 1b43c8dc09adb9b54609cc8a1916c99eb6fe75c9 (diff) | |
| download | edify-188c17c19a0c32e944d9a4234d33702d3adfe143.tar.xz edify-188c17c19a0c32e944d9a4234d33702d3adfe143.zip | |
ci: skip the surface migration gate when the surface snapshot is first introduced
Diffstat (limited to '.github/workflows/github-actions.yml')
| -rw-r--r-- | .github/workflows/github-actions.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/github-actions.yml b/.github/workflows/github-actions.yml index 27048f7..6ad9eed 100644 --- a/.github/workflows/github-actions.yml +++ b/.github/workflows/github-actions.yml @@ -82,6 +82,10 @@ jobs: echo "PR marked [no-migration]; skipping the fragment requirement." exit 0 fi + if ! git cat-file -e "$BASE_SHA:.public-surface" 2>/dev/null; then + echo ".public-surface is introduced on this branch; no prior surface to migrate from." + exit 0 + fi if git diff --quiet "$BASE_SHA" "$HEAD_SHA" -- .public-surface; then echo "Public surface unchanged; no fragment required." exit 0 |