Skip to content

Actions: ErikEk/lean-tests

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

s Lean Action CI #97: Commit fbaf540 pushed by ErikEk
1m 39s main
main
1m 39s
s Lean Action CI #96: Commit 16745ad pushed by ErikEk
1m 39s main
main
1m 39s
s Lean Action CI #95: Commit c18797e pushed by ErikEk
1m 41s main
main
1m 41s
s Lean Action CI #94: Commit c4c694a pushed by ErikEk
1m 34s main
main
1m 34s
s Lean Action CI #93: Commit 9988b52 pushed by ErikEk
1m 25s main
main
1m 25s
s Lean Action CI #92: Commit acde5f9 pushed by ErikEk
1m 26s main
main
1m 26s
s Lean Action CI #91: Commit c369d3f pushed by ErikEk
1m 28s main
main
1m 28s
s Lean Action CI #90: Commit f17e657 pushed by ErikEk
1m 29s main
main
1m 29s
s Lean Action CI #89: Commit 725af7f pushed by ErikEk
1m 26s main
main
1m 26s
s Lean Action CI #88: Commit f10b6ee pushed by ErikEk
1m 39s main
main
1m 39s
s Lean Action CI #87: Commit 3f9fe0a pushed by ErikEk
2m 5s main
main
2m 5s
s Lean Action CI #86: Commit 79d3373 pushed by ErikEk
1m 47s main
main
1m 47s
s Lean Action CI #85: Commit 13f1e5e pushed by ErikEk
1m 24s main
main
1m 24s
s Lean Action CI #84: Commit 9db0b51 pushed by ErikEk
1m 25s main
main
1m 25s
s Lean Action CI #83: Commit 3dd2a1d pushed by ErikEk
1m 40s main
main
1m 40s
s Lean Action CI #82: Commit 025036f pushed by ErikEk
1m 29s main
main
1m 29s
s Lean Action CI #81: Commit f9b7e3b pushed by ErikEk
1m 26s main
main
1m 26s
s Lean Action CI #80: Commit a8c6bb9 pushed by ErikEk
1m 24s main
main
1m 24s
s Lean Action CI #79: Commit 2b69d16 pushed by ErikEk
1m 25s main
main
1m 25s
s Lean Action CI #78: Commit 9bd2fe8 pushed by ErikEk
1m 34s main
main
1m 34s
s Lean Action CI #77: Commit de2ffe7 pushed by ErikEk
1m 30s main
main
1m 30s
s Lean Action CI #76: Commit c13cfb2 pushed by ErikEk
1m 26s main
main
1m 26s
s Lean Action CI #75: Commit 9463cf4 pushed by ErikEk
1m 34s main
main
1m 34s
s Lean Action CI #74: Commit 2889cd3 pushed by ErikEk
1m 31s main
main
1m 31s
s Lean Action CI #73: Commit f32777b pushed by ErikEk
1m 29s main
main
1m 29s