Skip to content
vscode-lean4 build

chore: better error when request is sent to inactive client #2610

Sign in to view logs

chore: better error when request is sent to inactive client

chore: better error when request is sent to inactive client #2610

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
4m 17s
Windows
5m 58s
10m 15s