Build

chore: upgrade `lean-action` to `v1-beta` #407

Sign in to view logs

Triggered via pull request May 25, 2024 11:31

opened #140

austinletson:upgrade-lean-action-to-v1-beta

Status Success

Total duration 1m 24s

Artifacts –

build.yml

on: pull_request

Matrix: build