Skip to content

Rename phase transition index #2195

Rename phase transition index

Rename phase transition index #2195

Check for new typos

succeeded Dec 2, 2024 in 20s
Set up job
2s
Checkout the Checkout Actions Repository
6s
Check spelling with typos
3s
Update repo with fixable typos
6s
Store typos diff file
0s
archive typos results
0s
Report typos as warnings
0s
Post Checkout the Checkout Actions Repository
0s
Complete job
0s