Actions: hargoniX/Leanwuzla
Actions
Showing runs from all workflows
13 workflow runs
13 workflow runs
Gate
after update
Lean Action CI
#5:
Pull request #1
opened
by
luisacicolini