Skip to content
Lint

Fix goals panel when no proof is active on Coq >= 8.16. #311

Sign in to view logs

Fix goals panel when no proof is active on Coq >= 8.16.

Fix goals panel when no proof is active on Coq >= 8.16. #311

Triggered via pull request February 14, 2024 22:24
@jesboatjesboat
opened #337
jesboat:fix-goals-when-no-proof
Status Failure
Total duration 26s
Artifacts –

lint.yml

on: pull_request
lint
15s
lint
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
Process completed with exit code 1.