Skip to content

Pull requests: oli-obk/priroda

New pull request New
Clear current search query, filters, and sorts
0 Open 29 Closed
0 Open 29 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

Remove heroku hosting
#49 by bjorn3 was merged Aug 25, 2022 Loading…
1
Misc improvements
#46 by bjorn3 was merged Mar 27, 2021 Loading…
4
Split into priroda and priroda_web
#44 by DJMcNab was closed Mar 27, 2021 • Draft
1
2
Remove the submodule
#43 by DJMcNab was merged Mar 13, 2021 Loading…
Update to latest rustc and miri
#42 by DJMcNab was merged Mar 13, 2021 Loading…
2
Add the rust-analyzer metadata
#39 by DJMcNab was merged Mar 9, 2021 Loading…
Add button to jump to the start of main
#38 by DJMcNab was merged Mar 10, 2021 Loading…
1
16
Eagerly initialise syntect statics
#37 by DJMcNab was merged Mar 5, 2021 Loading…
1
2
Remove rental
#35 by DJMcNab was merged Mar 5, 2021 Loading…
1
1
A few readme changes
#33 by bjorn3 was merged Mar 4, 2021 Loading…
4
GitHub actions
#32 by DJMcNab was merged Mar 4, 2021 Loading…
1
8
Update to latest rustc
#27 by DJMcNab was merged Mar 1, 2021 Loading…
19
Clarify in README how to obtain libstd with a full MIR
#26 by vakaras was merged Jul 21, 2020 Loading…
4
Format code using 'cargo fmt'
#24 by Atul9 was merged Aug 18, 2020 Loading…
19
Add support for concurrent Miri
#23 by vakaras was merged Jul 21, 2020 Loading…
22
Rustup to rustc 1.42.0-nightly (119307a83 2019-12-31)
#22 by bjorn3 was merged Jan 3, 2020 Loading…
2
Format code using 'cargo fmt'
#21 by Atul9 was merged Dec 9, 2019 Loading…
1
Rustup some improvements
#20 by bjorn3 was merged Jun 11, 2019 Loading…
1
Update miri links in readme
#19 by memoryruins was merged Feb 25, 2019 Loading…
1
Make drop calls show up in flame graphs again
#18 by bjorn3 was merged Feb 23, 2019 Loading…
Rustup and update some dependencies
#17 by bjorn3 was merged Feb 22, 2019 Loading…
3
Rustup
#12 by bjorn3 was merged Jan 21, 2019 Loading…
7
Update Cargo.lock
#10 by mati865 was merged Jul 16, 2018 Loading…
1
Value printing refactor (pretty print structs)
#8 by bjorn3 was merged Aug 13, 2018 Loading…
3 tasks done
8
Tracing infrastructure
#6 by bjorn3 was merged Jun 3, 2018 Loading…
2
ProTip! Follow long discussions with comments:>50.