Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: Gecode/gecode.github.io
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: codex/operations-readiness
Choose a base ref
...
head repository: Gecode/gecode.github.io
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 3 commits
  • 3 files changed
  • 2 contributors

Commits on Sep 5, 2026

  1. Monitor production availability and enable email Worker logs (#12) 

    Monitor production availability and enable email Worker logs
    @zayenz
    zayenz authored Sep 5, 2026
    Configuration menu
    Copy the full SHA
    a4a358c View commit details
    Browse the repository at this point in the history

  2. Select the updated 6.4.0 modeling manual revision 

    Select documentation revision 20260905-rst3, built from MPG320e8b3 with restored part-overview spacing and list markers. Keep the existing Gecode version and reference edition. Previous revision rst2 remains available for rollback.
    @zayenz
    zayenz committed Sep 5, 2026
    Configuration menu
    Copy the full SHA
    60f3520 View commit details
    Browse the repository at this point in the history

  3. Prevent font loading layout shifts

    @zayenz
    zayenz committed Sep 5, 2026
    Configuration menu
    Copy the full SHA
    d37b7e6 View commit details
    Browse the repository at this point in the history
Loading