Skip to content

Simplify PR number retrieval in deploy workflow#84

Merged
hshah-mitre merged 5 commits into
mainfrom
hshah-mitre-patch-1
Dec 23, 2025
Merged

Simplify PR number retrieval in deploy workflow#84
hshah-mitre merged 5 commits into
mainfrom
hshah-mitre-patch-1