Skip to content
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 #93

Merged
merged 1 commit into from
Nov 29, 2024

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

bfc2f5e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

Bump leanprover/lean-action from 1.pre.beta to 1.1.1
bfc2f5e
Select commit
Loading
Failed to load commit list.
build
succeeded Nov 29, 2024 in 11s