Skip to content
.github/workflows/main.yml

Fix Vscode extension : Prevent Goals panel to take focus when browsing proofs #2332

Sign in to view logs

Fix Vscode extension : Prevent Goals panel to take focus when browsing proofs

Fix Vscode extension : Prevent Goals panel to take focus when browsing proofs #2332

This job succeeded