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

allow to use new debian repos [dev] #16391

Open
wants to merge 9 commits into
base: develop
Choose a base branch
from
Open

allow to use new debian repos [dev] #16391

wants to merge 9 commits into from

Commits on Nov 25, 2024

  1. Merge pull request #16236 from MinaProtocol/dkijania/implement_test_l… 

    …edger_apply

Introduce LedgerTestApplyTx to Ci
    @dkijania
    dkijania authored Nov 25, 2024
    Configuration menu
    Copy the full SHA
    6f8ed0b View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2024

  1. support additional debian repository

    @dkijania
    dkijania committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    0b36449 View commit details
    Browse the repository at this point in the history

  2. freeze build id for testing

    @dkijania
    dkijania committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    bb07bf3 View commit details
    Browse the repository at this point in the history

  3. remove GPG_OPTS

    @dkijania
    dkijania committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    0202846 View commit details
    Browse the repository at this point in the history

  4. fix deb-s3 command

    @dkijania
    dkijania committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    08d8c5a View commit details
    Browse the repository at this point in the history

  5. Revert "fix deb-s3 command" 

    This reverts commit 08d8c5a.
    @dkijania
    dkijania committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    5599efa View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2024

  1. Merge branch 'dkijania/use_new_apt_repo' into dkijania/use_new_apt_re… 

    …po_dev
    @dkijania
    dkijania committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    4df0efa View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2024

  1. fix misuse of debian channel variant

    @dkijania
    dkijania committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    8fb8ef7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'develop' into dkijania/use_new_apt_repo_dev

    @dkijania
    dkijania authored Dec 2, 2024
    Configuration menu
    Copy the full SHA
    0ce8540 View commit details
    Browse the repository at this point in the history