Skip to content

Add PR number echo to GitHub Actions workflow - #3

Merged
jplaitin merged 1 commit into
mainfrom
1_testPRWorkflow
Feb 18, 2026
Merged

Add PR number echo to GitHub Actions workflow#3
jplaitin merged 1 commit into
mainfrom
1_testPRWorkflow

Commits

Commits on Feb 18, 2026