Skip to content

Actions: kik/EcGroupLaw

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

initial release Lean Action CI #22: Commit 4d9b0d5 pushed by kik
2m 7s main
main
2m 7s
initial release Create Release #2: Commit 4d9b0d5 pushed by kik
9s main
main
9s
action Lean Action CI #21: Commit 65b5150 pushed by kik
2m 6s feature/wip
feature/wip
2m 6s
dekiagari Lean Action CI #20: Commit 07be02e pushed by kik
3m 53s feature/wip
feature/wip
3m 53s
wip Lean Action CI #19: Commit feab28b pushed by kik
4m 31s feature/wip
feature/wip
4m 31s
wip Lean Action CI #18: Commit feab28b pushed by kik
4m 38s main
main
4m 38s
cleanup Lean Action CI #17: Commit df91521 pushed by kik
4m 22s main
main
4m 22s
cleanup Lean Action CI #16: Commit 2e41df6 pushed by kik
4m 39s main
main
4m 39s
wip Lean Action CI #15: Commit 758f3fc pushed by kik
3m 55s main
main
3m 55s
wip Lean Action CI #14: Commit b54b16c pushed by kik
4m 13s main
main
4m 13s
wip Lean Action CI #13: Commit d697a0a pushed by kik
4m 3s main
main
4m 3s
wip Lean Action CI #12: Commit 3274703 pushed by kik
4m 19s main
main
4m 19s
wip Lean Action CI #11: Commit b90889a pushed by kik
2m 13s main
main
2m 13s
wip Lean Action CI #10: Commit 85805dc pushed by kik
4m 15s main
main
4m 15s
wip Lean Action CI #9: Commit 844821f pushed by kik
3m 43s main
main
3m 43s
wip Lean Action CI #8: Commit 8b54773 pushed by kik
5m 47s main
main
5m 47s
wip Lean Action CI #7: Commit 402716f pushed by kik
3m 48s main
main
3m 48s
wip Lean Action CI #6: Commit 2f6cc2c pushed by kik
3m 47s main
main
3m 47s
disabel docgen Lean Action CI #5: Commit cb29024 pushed by kik
3m 23s main
main
3m 23s
wip Lean Action CI #4: Commit d9cddc2 pushed by kik
24m 56s main
main
24m 56s
wip Lean Action CI #3: Commit aba4fde pushed by kik
19m 25s main
main
19m 25s
wip Lean Action CI #2: Commit 4d79b6c pushed by kik
18m 50s main
main
18m 50s
lake init Create Release #1: Commit d3e2176 pushed by kik
11s main
main
11s
lake init Lean Action CI #1: Commit d3e2176 pushed by kik
13m 49s main
main
13m 49s