Skip to content
vscode-lean4 build

chore: better error when request is sent to inactive client (#560) #2611

Sign in to view logs

chore: better error when request is sent to inactive client (#560)

chore: better error when request is sent to inactive client (#560) #2611

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
4m 28s
Windows
7m 12s
11m 40s