Skip to content
Telemetry CI

Coq proof synthesis plugin for VSCode #6

Sign in to view logs

Coq proof synthesis plugin for VSCode

Coq proof synthesis plugin for VSCode #6

Triggered via pull request January 7, 2025 17:23
@spernsteinerspernsteiner
synchronize #134
coq-synthesis-vscode
Status Success
Total duration 8m 12s
Artifacts –

telemetry-ci.yml

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