Skip to content
Check shell

vscode-extensions.jroesch.lean: init at 0.16.59 #53961

Sign in to view logs

vscode-extensions.jroesch.lean: init at 0.16.59

vscode-extensions.jroesch.lean: init at 0.16.59 #53961

Run time

Learn about OS pricing on GitHub Actions
Job Run time
shell-check-x86_64-linux
44s
shell-check-aarch64-darwin
2m 17s
3m 1s