Workflow runs · functionally/ep133-lean4 · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

10 workflow runs

10 workflow runs

Merge pull request #1 from functionally/types-1 Lean Action CI #10: Commit 5df5bdf pushed by bwbush

1m 2s main

main

1m 2s

Types Lean Action CI #9: Pull request #1 synchronize by bwbush

1m 32s types-1

types-1

1m 32s

Types Lean Action CI #8: Pull request #1 synchronize by bwbush

1m 9s types-1

types-1

1m 9s

Types Lean Action CI #7: Pull request #1 synchronize by bwbush

57s types-1

types-1

57s

Types Lean Action CI #6: Pull request #1 synchronize by bwbush

52s types-1

types-1

52s

Types Lean Action CI #5: Pull request #1 synchronize by bwbush

44s types-1

types-1

44s

Types Lean Action CI #4: Pull request #1 synchronize by bwbush

48s types-1

types-1

48s

Types Lean Action CI #3: Pull request #1 synchronize by bwbush

43s types-1

types-1

43s

Adjusted toolchain Lean Action CI #2: Commit ec88ed4 pushed by bwbush

1m 22s main

main

1m 22s

Lean Action CI Lean Action CI #1: Manually run by bwbush

1m 19s main

main

1m 19s