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

Jump to bottom

Build docs on PRs #1326

Open

franziskuskiefer opened this issue Feb 27, 2025 · 0 comments

Labels

ci

Member

franziskuskiefer commented Feb 27, 2025

The docs are only built on main, such that don't catch broken documentation. The build step should be run on PRs as well.

hax/.github/workflows/gh_pages.yml

Lines 3 to 6 in c54a4eb

    
           on: 
        
             workflow_dispatch: 
        
             push: 
        
               branches: [main]

franziskuskiefer added the ci label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment