New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

add legal to ci #16

Merged

thedavidmeister merged 7 commits into main from 2024-10-15-legals

Oct 15, 2024

Contributor

thedavidmeister commented Oct 15, 2024

Motivation

Solution

Checks

By submitting this for review, I'm confirming I've done the following:

made this PR as small as possible
unit-tested any new functionality
linked any relevant issues or PRs

thedavidmeister added 7 commits

October 15, 2024 21:44


          add legal to ci

49480c1


          fix license

769bde1


          lint

be673e8


          lint

df260d9


          rm 1820


          bump i9r int

3dd0fc1


          rm dep

0bdf9a0

thedavidmeister merged commit fef6918 into main

3 checks passed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet