Skip to content

Actions: loefflerd/ModularFormDimensions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Much work-in-progress stuff Lean Action CI #4: Commit a8d664f pushed by loefflerd
40m 46s master
master
40m 46s
order of vanishing stuff Lean Action CI #3: Commit cf51696 pushed by loefflerd
39m 58s master
master
39m 58s
add material from pending mathlib PRs Lean Action CI #2: Commit 39cc630 pushed by loefflerd
40m 25s master
master
40m 25s
Create blank repo Lean Action CI #1: Commit 0727d64 pushed by loefflerd
1h 50m 2s master
master
1h 50m 2s
Create blank repo Create Release #1: Commit 0727d64 pushed by loefflerd
10s master
master
10s