fix name of github workflow
tree6cca6b35182dae2ad8622b27ac588fa8506e83b4
-rwxr-xr-x 279 .editorconfig
-rwxr-xr-x 524 .gitattributes
drwxr-xr-x - .github
-rwxr-xr-x 4586 .gitignore
drwxr-xr-x - .idea
-rwxr-xr-x 168 .mailmap
-rw-r--r-- 1888 CONTRIBUTING.md
-rw-r--r-- 7048 LICENSE
-rw-r--r-- 1092 Makefile
-rw-r--r-- 807 README.md
drwxr-xr-x - dev
-rw-r--r-- 1044 maven-version-rules.xml
-rw-r--r-- 5059 pom.xml
-rw-r--r-- 618 project.mk
drwxr-xr-x - yosql-benchmarks
drwxr-xr-x - yosql-codegen
drwxr-xr-x - yosql-examples
drwxr-xr-x - yosql-internals
drwxr-xr-x - yosql-models
drwxr-xr-x - yosql-tooling
drwxr-xr-x - yosql-website