Changing the name of CI doesn't really change anything

erg-lang / erg

A statically typed language compatible with Python

http://erg-lang.org

Apache License 2.0

2.69k stars 55 forks source link

Closed C-BJ closed 1 year ago

C-BJ commented 1 year ago

Changing the name of CI doesn't really change anything The current name is ambiguous, If there is something I don't notice, please close this PR

@mtshiba