Skip to content

Add PR number echo to GitHub Actions workflow#2

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

Add PR number echo to GitHub Actions workflow#2
jplaitin merged 1 commit into
mainfrom
dev

Add PR number echo to GitHub Actions workflow

a0a2d83
Select commit
Loading
Failed to load commit list.
Sign in for the full log view