Skip to content
Test

Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta #34

Sign in to view logs

Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta

Bump leanprover/lean-action from 1.pre.alpha to 1.pre.beta #34

Triggered via pull request May 22, 2024 10:25
@dependabotdependabot[bot]
opened #15
dependabot/github_actions/leanprover/lean-action-1.pre.beta
Status Success
Total duration 25s
Artifacts –

ci.yml

on: pull_request
build
14s
build
Fit to window
Zoom out
Zoom in