All Workflows Lean Action CI

3 workflow runs

Actor

All actors greg

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches master

Equivalence to List.map

Lean Action CI #3:Commit 6d068e7327 pushed by greg

master

2026-02-04 05:20:08 -08:00

0s

View workflow file

README, comments

Lean Action CI #2:Commit c400beee71 pushed by greg

master

2026-02-03 03:07:48 -08:00

0s

View workflow file

Proof that map is linear

Lean Action CI #1:Commit 828535f7d3 pushed by greg

master

2026-02-03 02:18:11 -08:00

0s

View workflow file