This repository has been archived by the owner on Nov 29, 2024. It is now read-only.

Bump leanprover/lean-action from 1.pre.beta to 1.1.1 #100

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2024 14:06

dependabot[bot]

opened #93

dependabot/github_actions/leanprover/lean-action-1.1.1

Status Success

Total duration 21s

Artifacts –

ci.yml

on: pull_request