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

Switch MacOS CI jobs to macos-13 #2987

Merged
merged 6 commits into from
Jan 31, 2024
Merged

Switch MacOS CI jobs to macos-13 #2987

merged 6 commits into from
Jan 31, 2024

Commits on Jan 29, 2024

  1. Switch MacOS CI jobs to macos-13 

    This is currently marked "Beta". Switching is an attempt to address the
memory allocation failures.
    @tautschnig
    tautschnig committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    a630004 View commit details
    Browse the repository at this point in the history

  2. Add setup symlink

    @tautschnig
    tautschnig committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    4e35f6d View commit details
    Browse the repository at this point in the history

  3. Try to install pre-bottled cbmc-viewer

    @tautschnig
    tautschnig committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    ab0a4d6 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Revert "Try to install pre-bottled cbmc-viewer" 

    This reverts commit ab0a4d6.
    @tautschnig
    tautschnig committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    abfcd2e View commit details
    Browse the repository at this point in the history

  2. Pre-install Python 3.12

    @tautschnig
    tautschnig committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    fdef569 View commit details
    Browse the repository at this point in the history

  3. Actually ignore errors

    @tautschnig
    tautschnig committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    707526a View commit details
    Browse the repository at this point in the history