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 #102

Triggered via pull request November 29, 2024 14:06

opened #93

Status Success

Total duration 41s

Artifacts 1

deploy.yml

on: pull_request

Produced during runtime

Name	Size
github-pages	1.27 MB