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

Add CI test for --use-local-toolchain #3074

Merged
merged 21 commits into from
Mar 27, 2024
Merged

Add CI test for --use-local-toolchain #3074

merged 21 commits into from
Mar 27, 2024

Commits on Mar 13, 2024

  1. Add CI test for --use-local-toolchain

    @jaisnan
    jaisnan committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    e1b35d5 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Merge branch 'main' of https://github.com/model-checking/kani into ad… 

    …d-ci-test-use-local-toolchain
    @jaisnan
    jaisnan committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    5e216e6 View commit details
    Browse the repository at this point in the history

  2. Add --help, --version and standalone simple checks

    @jaisnan
    jaisnan committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    97ba4ce View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. Check the toolchains used in bundle and custom toolchain match, to av… 

    …oid clash in rustc versions.
    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    ba50497 View commit details
    Browse the repository at this point in the history

  2. Add test to use bundle's toolchain version.

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    cb1e555 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into add-ci-test-use-local-toolchain

    @jaisnan
    jaisnan authored Mar 20, 2024
    Configuration menu
    Copy the full SHA
    14c2c0b View commit details
    Browse the repository at this point in the history

  4. Fix yaml syntax

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    fadcf07 View commit details
    Browse the repository at this point in the history

  5. Change to use kani-latest instead

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    5d1f9fd View commit details
    Browse the repository at this point in the history

  6. Fix file path for rust rust-toolchain-version

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    12698e1 View commit details
    Browse the repository at this point in the history

  7. add --use-local-bundle to complete setup

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    fb14238 View commit details
    Browse the repository at this point in the history

  8. Add outputs from previous job

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    79552e1 View commit details
    Browse the repository at this point in the history

  9. Download bundle

    @jaisnan
    jaisnan committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    e5c5489 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Add test-local-toolchain to setup

    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    08cc1ac View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into add-ci-test-use-local-toolchain

    @jaisnan
    jaisnan authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    16196a8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of https://github.com/model-checking/kani into ad… 

    …d-ci-test-use-local-toolchain
    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    5d9322a View commit details
    Browse the repository at this point in the history

  4. Fix custom toolchain dir

    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    e630a52 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'add-ci-test-use-local-toolchain' of https://github.com/… 

    …jaisnan/kani into add-ci-test-use-local-toolchain
    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    109fc7f View commit details
    Browse the repository at this point in the history

  6. Add rustc version from bundle

    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    ca72c38 View commit details
    Browse the repository at this point in the history

  7. formatting

    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    a9bf208 View commit details
    Browse the repository at this point in the history

  8. Test LocalBundle without re-installing

    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    efbe192 View commit details
    Browse the repository at this point in the history

  9. Try with tar and verifier

    @jaisnan
    jaisnan committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    eeb64c5 View commit details
    Browse the repository at this point in the history