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

Manticore 0.3.6 #2456

Merged
merged 8 commits into from
Jun 10, 2021
Merged

Manticore 0.3.6 #2456

merged 8 commits into from
Jun 10, 2021

Commits on May 24, 2021

  1. Manticore 0.3.6

    Eric Hennenfent committed May 24, 2021
    Configuration menu
    Copy the full SHA
    c42563a View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2021

  1. Merge branch 'master' into release-0.3.6

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    91974a3 View commit details
    Browse the repository at this point in the history

  2. Create release.yml

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    d04b058 View commit details
    Browse the repository at this point in the history

  3. Bump point release number for development releases

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    3b2a1b8 View commit details
    Browse the repository at this point in the history

  4. Don't include coveralls in release run

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    b7306a2 View commit details
    Browse the repository at this point in the history

  5. Update nightly build notice

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    cfe8f1c View commit details
    Browse the repository at this point in the history

  6. Update CHANGELOG.md

    Eric Hennenfent committed Jun 9, 2021
    Configuration menu
    Copy the full SHA
    d454e52 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2021

  1. Add changelog line for #2420

    Eric Hennenfent committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    205b93e View commit details
    Browse the repository at this point in the history