Skip to content

Jenkins: change how gh-pages branch gets re-built#3316

Merged
WardBrian merged 1 commit intodevelopfrom
jenkins/gh-pages-build-tweaks
May 6, 2026
Merged

Jenkins: change how gh-pages branch gets re-built#3316
WardBrian merged 1 commit intodevelopfrom
jenkins/gh-pages-build-tweaks

Conversation

@WardBrian
Copy link
Copy Markdown
Member

Summary

Closes #3315. This works by amending the same commit over time rather than deleting the branch (which causes github pages to forget the configuration for using that branch)

Tests

Side Effects

Release notes

Checklist

  • Copyright holder: (fill in copyright holder information)

    The copyright holder is typically you or your assignee, such as a university or company. By submitting this pull request, the copyright holder is agreeing to the license the submitted work under the following licenses:
    - Code: BSD 3-clause (https://opensource.org/licenses/BSD-3-Clause)
    - Documentation: CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/)

  • the basic tests are passing

    • unit tests pass (to run, use: ./runTests.py test/unit)
    • header checks pass, (make test-headers)
    • dependencies checks pass, (make test-math-dependencies)
    • docs build, (make doxygen)
    • code passes the built in C++ standards checks (make cpplint)
  • the code is written in idiomatic C++ and changes are documented in the doxygen

  • the new changes are tested

@WardBrian WardBrian merged commit 52661e1 into develop May 6, 2026
33 of 34 checks passed
@WardBrian WardBrian deleted the jenkins/gh-pages-build-tweaks branch May 6, 2026 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Jenkins shouldn't be deleting the gh-pages branch

1 participant