Update src/header/navigation.rs

Failed in 24m 42s
Build and Test (Tier 1)nix develop --command just tier1
Timed Out
Waited 2s
·
Ran in 15m 29s
Build and Test (Tier 1)nix develop --command just tier1
Waited 2s
·
Ran in 9m 11s
Total Job Run Time: 24m 39s