Skip to content
vscode-lean4 build

fix: register event listeners for proper disposal of client provider #2465

Sign in to view logs

fix: register event listeners for proper disposal of client provider

fix: register event listeners for proper disposal of client provider #2465

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
3m 25s
Windows
5m 33s
8m 58s