Skip to content
vscode-lean4 build

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

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 … #2578

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linux
4m 36s
Windows
6m 10s
10m 46s