Skip to content

Add Navbar

Add Navbar #120

add-navbar

succeeded Dec 2, 2024 in 12s
Set up job
0s
Checkout gh-pages
2s
Download insert_navbar.sh
0s
Update Navbar
2s
Post Checkout gh-pages
0s
Complete job
0s