Skip to content
This repository has been archived by the owner on Aug 29, 2024. It is now read-only.

chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2 #137

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2

60a958a
Select commit
Loading
Failed to load commit list.
Open

chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2 #137

chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2
60a958a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar