Skip to content
CN Client CI

Coq proof synthesis plugin for VSCode #35

Sign in to view logs

Coq proof synthesis plugin for VSCode

Coq proof synthesis plugin for VSCode #35

Triggered via pull request November 26, 2024 22:27
@spernsteinerspernsteiner
opened #134
coq-synthesis-vscode
Status Success
Total duration 27s
Artifacts –

client-ci.yml

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