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.

Sign up for GitHub

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

Jump to bottom

Bump dependencies #101

Merged

rzhao271 merged 1 commit into main from rzhao271/bump-deps

Oct 10, 2023

Contributor

rzhao271 commented Oct 9, 2023

Bumps some dependencies for CG.
PR created using Codespaces.


          Bump dependencies

09a8c69

rzhao271 enabled auto-merge (squash)

October 9, 2023 23:35

rzhao271 self-assigned this

roblourens approved these changes

View reviewed changes

rzhao271 merged commit 0ca422c into main

5 checks passed

rzhao271 deleted the rzhao271/bump-deps branch

October 10, 2023 03:16

Contributor

aeschli commented Oct 10, 2023

Note that we don't really need a node 18 type dependency. It's a tool that can be run also out of Node16 (not an extension)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet