Skip to content

Comment on PR

Comment on PR #193

pr-comment

succeeded Oct 30, 2024 in 3s
Set up job
1s
Download artifacts
0s
Merge artifacts and get PR number
0s
PR Comment
0s
Post PR Comment
0s
Complete job
0s