Skip to content
CN Client CI

Coq proof synthesis plugin for VSCode #45

Sign in to view logs

Coq proof synthesis plugin for VSCode

Coq proof synthesis plugin for VSCode #45

Triggered via pull request December 19, 2024 00:11
@spernsteinerspernsteiner
synchronize #134
coq-synthesis-vscode
Status Success
Total duration 25s
Artifacts –

client-ci.yml

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