FIX: avoid redundant navigation

4 jobs for devel in 13 minutes and 29 seconds (queued for 1 second)