Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

leanprover/lean-action

Đăng nhập để theo dõi Xem trên GitHub

GitHub action for standard CI in Lean projects

leanprover/lean-action có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới leanprover/lean-action để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.

Star
45
Fork
22
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
11
Ngôn ngữ chính
Shell
Giấy phép
Apache-2.0
Lần push lên GitHub gần nhất
27/8/2026
Lập chỉ mục gần nhất
20/9/2026
Hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
Chưa lập chỉ mục label nào cho người mới
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho leanprover/lean-action

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  2. Đóng góp của bạn sẽ được phát hành theo giấy phép Apache-2.0 của dự án.
  3. Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Add a `nanoda-modules` input to specify modules to check by `nanoda`
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

    leanprover/lean-action#179 ·

  • nanoda fails on Lean 4.28 export stream with invalid digit
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    leanprover/lean-action#169 · 1 bình luận · 1 reaction ·

  • feature request: Save `lake build` and `lake test` logs for downstream workflow steps
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    leanprover/lean-action#165 ·

  • Adopt setup + post-step cache pattern (don't run commands in the action)
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100

    leanprover/lean-action#154 ·

  • Add an `elan` input which controls if `lean-action` installs `elan`
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

    leanprover/lean-action#128 · 1 reaction ·

  • Add an option to run `lake update`
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

    leanprover/lean-action#127 · 1 bình luận ·

  • expose sub-jobs of the main action
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

    leanprover/lean-action#124 · 7 bình luận ·

  • Add tests for GitHub caching behavior
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    leanprover/lean-action#118 ·

  • (DRAFT RFC) Add support for building leanblueprint to lean-action
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    leanprover/lean-action#74 · 1 reaction ·

  • Save cache even if a build fails
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    leanprover/lean-action#65 · 1 reaction ·

  • Redundant mathlib caching
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    leanprover/lean-action#3 · 2 bình luận ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.