Skip to content

Pull requests: RoboCupAtHome/RuleBook

New pull request New
8 Open 405 Closed
8 Open 405 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Interaction should be scored by the involved persons.
#1034 opened Mar 14, 2026 by LeroyR Loading…
1
GO26: simplify hri timing, the maximum time is always 7 minutes
#1033 opened Mar 14, 2026 by LeroyR Loading…
Bump actions/download-artifact from 4 to 8 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1028 opened Feb 27, 2026 by dependabot bot Loading…
1
Bump actions/upload-artifact from 4 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1027 opened Feb 27, 2026 by dependabot bot Loading…
1
Task: time to exercise
#1011 opened Dec 2, 2025 by LeroyR • Draft
Bump actions/checkout from 4 to 6 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1006 opened Nov 21, 2025 by dependabot bot • Draft
Updated scoresheets: More info for posterior analysis. Added time for…
#970 opened May 12, 2025 by SparkRibeiro21 Loading…
4
(CI) use newer lint action
#956 opened Mar 19, 2025 by MatthijsBurgh • Draft
6
ProTip! Exclude everything labeled bug with -label:bug.