Changing the permalink slug

We have a tutorial here on appending job IDs to the permalinks:

https://wpjobmanager.com/document/tutorial-changing-the-job-slugpermalink/#section-3

It’s not the exact code you need to use *only* the post ID, but you should be able to simply replace the title instead of appending the ID fairly easily.

Thanks! ??