Skip to content

Pull requests: PatrickMassot/leanblueprint

New pull request New
Clear current search query, filters, and sorts
7 Open 30 Closed
7 Open 30 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[TEMPLATE]: Fix Jekyll GitHub Metadata API Warning
#52 by pitmonticone was merged Oct 23, 2024 Loading…
[TEMPLATE]: Manage workflow concurrency
#48 by pitmonticone was merged Oct 9, 2024 Loading…
Add projects to list
#46 by pitmonticone was merged Sep 27, 2024 Loading…
correct path for pdf
#45 by mo271 was closed Sep 20, 2024 • Draft
2
Add missing Blueprint (pdf) button in Jekyll template
#44 by pitmonticone was merged Sep 21, 2024 Loading…
3
Add home_page to commit contents
#41 by pitmonticone was merged Aug 12, 2024 Loading…
Capitalise letters in client.py
#40 by pitmonticone was merged Aug 10, 2024 Loading…
Fix default.html
#39 by pitmonticone was merged Aug 1, 2024 Loading…
Remove unnecessary sudo chown -R runner docs
#38 by pitmonticone was closed Jul 31, 2024 Loading…
1
Update CI template
#37 by pitmonticone was merged Jul 31, 2024 Loading…
Set default-toolchain to none
#36 by pitmonticone was closed Jul 30, 2024 Loading…
1
Create docs folder only if it's not already present
#35 by pitmonticone was merged Jul 30, 2024 Loading…
Add workflow_dispatch event to blueprint.yml
#34 by pitmonticone was merged Jul 30, 2024 Loading…
Bump GitHub actions
#32 by pitmonticone was merged Jul 29, 2024 Loading…
4 tasks done
Add cache paths
#31 by pitmonticone was merged Jul 19, 2024 Loading…
feat: add cleanup step
#26 by fpvandoorn was closed Oct 1, 2024 • Draft
1
TOML support for leanblueprint
#23 by mdgeorge4153 was merged Jun 24, 2024 Loading…
typos in README.md
#21 by mo271 was merged May 5, 2024 Loading…
1
Remove "." in bullet list
#20 by pitmonticone was merged Jun 15, 2024 Loading…
Add FLT3
#19 by pitmonticone was merged May 1, 2024 Loading…
add upgrade instructions
#18 by kbuzzard was merged Apr 29, 2024 Loading…
add a lake update at blueprint initialization, remove it from CI
#17 by RemyDegenne was closed Apr 30, 2024 Loading…
1
fix workflow issues and typos in console.printed messages
#16 by pitmonticone was merged Apr 30, 2024 Loading…
5
Fix pip install instruction in README.md
#15 by RemyDegenne was closed Apr 30, 2024 Loading…
1
Neutralize the mathlibok command
#13 by Bergschaf was merged Mar 20, 2024 Loading…
1
ProTip! no:milestone will show everything without a milestone.