Sequential LLM fetch · JetBrains-Research/coqpilot@4573a6d

Triggered via pull request November 29, 2023 22:08

K-dizzled

synchronize #6

advanced_interactor

Status Failure

Total duration 11m 30s

Artifacts –

coqpilot.yml

on: pull_request

Matrix: build

10 errors

Cannot find name 'ProofViewError'.

Cannot find name 'ProofViewError'.

Type 'null' is not assignable to type 'Vernacexpr'.

Argument of type 'any[] | null' is not assignable to parameter of type 'any[]'.

Argument of type 'any[] | null' is not assignable to parameter of type 'any[]'.

Argument of type 'any[] | null' is not assignable to parameter of type 'any[]'.

Argument of type 'any[] | null' is not assignable to parameter of type 'any[]'.

Argument of type 'CoqpilotConfig | undefined' is not assignable to parameter of type 'CoqpilotConfig'.

Argument of type 'TextEditor | undefined' is not assignable to parameter of type 'TextEditor'.

'thrRes.proof' is possibly 'null'.