Skip to content

Fix anchor links being obscured by header #26103

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Gautam-aman wants to merge 4 commits into from

Merge branch 'master' into fix-anchor-links-clean

37e1cd9
Select commit
Loading
Failed to load commit list.
Closed

Fix anchor links being obscured by header #26103

Merge branch 'master' into fix-anchor-links-clean
37e1cd9
Select commit
Loading
Failed to load commit list.
ci.jenkins.io / Jenkins succeeded Jan 29, 2026 in 3h 13m 8s

Success

Details

  • Record build (1 min 53 sec)
  • linux-jdk21 (6 ms)
    • Linux - JDK 21 - Checkout (51 sec)
    • Linux - JDK 21 - Build / Test (3 hr 5 min)
    • Linux - JDK 21 - Publish (1 min 16 sec)
  • linux-jdk25 (6 ms)
    • Linux - JDK 25 - Checkout (51 sec)
    • Linux - JDK 25 - Build / Test (2 hr 59 min)
    • Linux - JDK 25 - Publish (15 sec)
  • windows-jdk25 (6 ms)
    • Windows - JDK 25 - Checkout (1 min 21 sec)
    • Windows - JDK 25 - Build / Test (2 hr 7 min)
    • Windows - JDK 25 - Publish (10 sec)
  • ath-linux-jdk21-firefox (10 min)
  • Deploy (20 sec)
View more details on ci.jenkins.io