Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update vendordeps #16

Merged
merged 6 commits into from
Feb 21, 2024
Merged

Update vendordeps #16

merged 6 commits into from
Feb 21, 2024

Conversation

garrettsummerfi3ld
Copy link
Member

@garrettsummerfi3ld garrettsummerfi3ld commented Feb 6, 2024

Changed

Updated YAGSL version from 2024.4.7 to 2024.4.8.5

Updated PathPlannerLib version from 2024.1.6 to 2024.2.3

Updated REVLib from 2024.2.0 to 2024.2.1

Updated YAGSL version from 2024.4.7 to 2024.4.8
Updated YAGSL from 2024.4.8 to 2024.4.8.2

Updated PathPlannerLib from 2024.1.6 to 2024.2.2
Updated PathPlannerLib from 2024.2.2 to 2024.2.3

Updated Phoenix6 from 24.1.0

Updated REVLib from 2024.2.0 to 2024.2.1
@garrettsummerfi3ld garrettsummerfi3ld requested a review from a team February 10, 2024 05:01
Updated YAGSL from 2024.4.8.2 to 2024.4.8.3
@garrettsummerfi3ld garrettsummerfi3ld requested review from ShaneHopkins11, EuphoniumPlayer and Kendialouge and removed request for a team February 16, 2024 01:25
@garrettsummerfi3ld garrettsummerfi3ld added the dependencies Pull requests that update a dependency file label Feb 16, 2024
Copy link
Member

@EuphoniumPlayer EuphoniumPlayer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see any issues, but I'd make sure it works before you merge it. If it works on the bot properly, then do it.

Updated YAGSL from 2024.4.8.3 to 2024.4.8.4
Updated YAGSL from 2024.4.8.4 to 2024.4.8.5
@garrettsummerfi3ld garrettsummerfi3ld merged commit 8dc2542 into main Feb 21, 2024
6 checks passed
@garrettsummerfi3ld garrettsummerfi3ld deleted the chore/update-vendordeps branch February 21, 2024 03:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants