Bump Straume version
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức phù hợp với người mới
- 35/100
- Loại issue
- Tái cấu trúc
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Lĩnh vực
- build-system
Hướng nghiên cứu
Tìm khai báo dependency của Straume và kiểm tra repository chỉ định phiên bản Lean như thế nào. Cập nhật dependency khi cần, sau đó xác minh rằng dự án biên dịch được với phiên bản Lean mới nhất.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Could you bump the Straume dependency so that this compiles with the newest Lean version?
- Ngôn ngữ chính
- Lean
- Star
- 37
- Fork
- 8
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của argumentcomputer/Megaparsec.lean
-
Can you update the project?Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performanceĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
good first issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 52/100
argumentcomputer/Megaparsec.lean#26 · 1 bình luận ·
Tất cả issue của argumentcomputer/Megaparsec.lean
Issue tương tự
-
kind/enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100
Maintainer thường phản hồi trong vòng 1 ngày
-
[BUG] micronaut-serde-oracle-jdbc-json brings a second OJDBC driver onto the runtime classpathCó thể đã có người làm @ZARAYACH đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
micronaut-projects/micronaut-serialization#1494 · 4 bình luận ·
Maintainer thường phản hồi trong vòng 2 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
aws/context-ontology-accelerator#325 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
agent-butler-finding chore
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 84/100
jordansmall/spindrift#6210 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
objectionary/jeo-maven-plugin#1926 ·
Maintainer thường phản hồi trong vòng 2 ngày