SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Update actions to Node.js 16 #90

Closed kjcjohnson closed 1 year ago

kjcjohnson commented 1 year ago

Getting the following note when running checks. Looks like we need to update our actions:

test
Node.js 12 actions are deprecated. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/. Please update the following actions to use Node.js 16: actions/checkout, actions/setup-dotnet, actions/checkout