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 lemmas used in recent engagements #2308

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Add lemmas used in recent engagements #2308

wants to merge 5 commits into from

Commits on Feb 21, 2024

  1. Add lemmas used in recent engagements

    @palinatolmach
    palinatolmach committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    f5b0821 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into engagement-lemmas

    @palinatolmach
    palinatolmach committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    c441829 View commit details
    Browse the repository at this point in the history

  3. Set Version: 1.0.459

    devops committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    21909e2 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. Merge branch 'master' into engagement-lemmas

    @palinatolmach
    palinatolmach committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    2f63618 View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.490

    devops committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    bf53b08 View commit details
    Browse the repository at this point in the history