Skip to content
CodeQL Security Analysis

feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract #107

Sign in to view logs

feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract

feat(echo): echo types through the OCaml pipeline (typecheck + eval + parser) + TangleIR contract #107

Triggered via pull request June 14, 2026 03:37
@hyperpolymathhyperpolymath
synchronize #45
claude/hopeful-fermi-iXnba
Status Failure
Total duration 40s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

1 error
analyze (javascript-typescript, none)
Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.25.6/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14575 /home/runner/work/_temp/codeql_databases/javascript". Exit code was 32 and last log line was: CodeQL could not process any code written in JavaScript/TypeScript. For more information, review our troubleshooting guide at https://gh.io/troubleshooting-code-scanning/no-source-code-seen-during-build . See the logs for more details.