Skip to content

Add PR number tag and improve PR information building#8990

Merged
daniel-mohedano merged 4 commits into
masterfrom
daniel.mohedano/ci-spec-update
Jun 23, 2025
Merged

Add PR number tag and improve PR information building#8990
daniel-mohedano merged 4 commits into
masterfrom
daniel.mohedano/ci-spec-update

make pr.number string

98ed08a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar