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

Sign in to view logs

Triggered via pull request October 31, 2024 22:13

dotlambda

opened #352721

Status Success

Total duration 2m 27s

Artifacts –

check-shell.yml

on: pull_request_target

shell-check-x86_64-linux

shell-check-aarch64-darwin