Skip to content

Actions: cyb3r17/LeanExperiments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

initial lean project with mathlib Lean Action CI #1: Commit fdd6d4b pushed by cyb3r17
2m 8s main
main
2m 8s