Kotlin language database create bug?

Abierto
#19,670 3 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
35/100
Tipo de issue
Error
Claridad
Necesita aclaración
Estado de actividad
Estancado
Stack tecnológico
kotlin
Área
tooling

Línea de trabajo

Comienza revisando el comando reportado para crear la base de datos de CodeQL y el artículo de solución de problemas enlazado; después, compáralo con la compilación de /k/test/gradlew, que tuvo éxito por separado. Reproduce el comando y captura los detalles del error que faltan; se considera completado cuando la base de datos de Kotlin se crea correctamente con la raíz de código fuente y el comando de compilación indicados.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

question

I tried to build the language database using CodeQL, but encountered an error.

And now I have read this article:
https://gh.io/troubleshooting-code-scanning/no-source-code-seen-during-build.
I didn't receive any help

Image

However, I used the configuration command when creating the database.

 codeql database create test --language=kotlin --source-root=/k/test --no-run-unnecessary-builds --command="/k/test/gradlew build" --overwrite

I can build success by executing /k/test/gradlew build separately.

I hope to receive assistance. thanks

Lenguaje dominante
CodeQL
Estrellas
10.1k
Forks
2.1k
Merge medio
2 d 10 h
PR fusionados (30 d)
134

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de github/codeql

Todos los issues de github/codeql

Issues similares

Más issues de DevTools

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.