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

Job	Run time
build	11s
	11s

Provide feedback