Skip to content

Pull requests: HULKs/hulk

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

Henceforth, you shall be known as ...
#1487 by schmidma was merged Nov 4, 2024 Loading…
1
elide unnecessary lifetimes
#1484 by schmidma was merged Nov 2, 2024 Loading…
1
Update yocto documentation
#1483 by schmidma was merged Nov 2, 2024 Loading…
update remote compile documentation Documentation
#1482 by oleflb was merged Nov 2, 2024 Loading…
serde -> 1.0.214
#1481 by oleflb was merged Nov 2, 2024 Loading…
fix center circle violation cat:Behavior is:Bugfix
#1480 by oleflb was merged Nov 1, 2024 Loading…
1
No Constants
#1477 by schmidma was closed Nov 3, 2024 • Draft
1
tune field color after return from Eindhoven ParameterChangesOnly JSON as far as the eye can see.
#1465 by Vivituhh was merged Oct 23, 2024 Loading…
3
Use incremental profile for cargo test tools:CI
#1464 by knoellle was merged Oct 21, 2024 Loading…
Introduce team.toml
#1463 by schmidma was merged Oct 29, 2024 Loading…
9
remove impl for default when #[default] is enough is:Cleanup Nothing new here, just tidying up.
#1461 by MaikRe was closed Oct 26, 2024 Loading…
2
Remove eurorust location
#1460 by Narcha was merged Oct 15, 2024 Loading…
1
Update CI image to Rust 1.81.0 tools:CI
#1459 by Narcha was merged Oct 15, 2024 Loading…
1
Eurorust: Set field dimensions
#1457 by Narcha was merged Oct 10, 2024 Loading…
Eurorust location + tune vision
#1456 by Narcha was merged Oct 10, 2024 Loading…
1
Use github-hosted container image in documentation CI tools:CI
#1455 by Narcha was merged Oct 7, 2024 Loading…
1
Remove step for setup of HULKs hosted registry Documentation
#1454 by schmidma was merged Oct 7, 2024 Loading…
1
Run CI workflow on github runners tools:CI
#1452 by schmidma was merged Oct 3, 2024 Loading…
1
prefix with docker.io tools:CI
#1451 by schmidma was merged Oct 2, 2024 Loading…
1
migrate to ghcr.io package registry tools:CI
#1450 by schmidma was merged Oct 2, 2024 Loading…
1
Update docs node Documentation
#1446 by schluis was merged Oct 11, 2024 Loading…
@oleflb
4
Update docs audio Documentation
#1445 by schluis was merged Sep 15, 2024 Loading…
1
Update docs vision Documentation
#1444 by schluis was merged Sep 13, 2024 Loading…
4
Beautify development process Documentation
#1443 by schluis was merged Sep 13, 2024 Loading…
22
Update docs workflow Documentation
#1442 by schluis was merged Sep 13, 2024 Loading…
12
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.