Skip to content
Test

Bump leanprover/lean-action from 1.0.1 to 1.0.2 #171

Sign in to view logs

Bump leanprover/lean-action from 1.0.1 to 1.0.2

Bump leanprover/lean-action from 1.0.1 to 1.0.2 #171

Triggered via pull request August 26, 2024 08:16
@dependabotdependabot[bot]
opened #38
dependabot/github_actions/leanprover/lean-action-1.0.2
Status Success
Total duration 21s
Artifacts –

ci.yml

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