Skip to content
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

Fix path to promote debian script #16102

Closed
wants to merge 4 commits into from
Closed

Fix path to promote debian script #16102

wants to merge 4 commits into from
+0 −0

Commits on Sep 20, 2024

  1. fix path to promote docker and debian

    dkijania committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    cdddf89 View commit details
    Browse the repository at this point in the history

  2. revert docker path + replace TAG with NEW_VERSION

    dkijania committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    29ba7f7 View commit details
    Browse the repository at this point in the history

  3. Fix proof config mismatch between compiled and runtime

    dkijania committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    2ab1e3a View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Merge branch 'compatible' into dkijania/port_promotion_fix_to_comp

    @dkijania
    dkijania committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    6bc7e50 View commit details
    Browse the repository at this point in the history