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

chore: move #help to Batteries (batteries#969) #17257

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

chore: move #help to Batteries (batteries#969) #17257

wants to merge 10 commits into from
+0 −350

Commits on Sep 28, 2024

  1. Update Batteries branch for testing leanprover-community/batteries#969

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    e86eb6c View commit details
    Browse the repository at this point in the history

  2. chore: move #help to Batteries

    @fgdorais
    fgdorais committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    75c5c02 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Trigger CI for leanprover-community/batteries#969

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    a2d4993 View commit details
    Browse the repository at this point in the history

  2. Trigger CI for leanprover-community/batteries#969

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    02e5cfa View commit details
    Browse the repository at this point in the history

  3. Trigger CI for leanprover-community/batteries#969

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    2cf61c8 View commit details
    Browse the repository at this point in the history

  4. chore: adaptation for batteries#969

    @fgdorais
    fgdorais committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    c42ecaf View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Trigger CI for leanprover-community/batteries#969

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    cb58abd View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2024

  1. chore: merge master

    @fgdorais
    fgdorais committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    2cfba76 View commit details
    Browse the repository at this point in the history

  2. chore: prepare for merge

    @fgdorais
    fgdorais committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    2062aff View commit details
    Browse the repository at this point in the history

  3. chore: merge master

    @fgdorais
    fgdorais committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    5ca07e2 View commit details
    Browse the repository at this point in the history