Skip to content

Actions: vyorkin/tpil4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean Action CI #35: Commit ee9b604 pushed by vyorkin
1m 49s main
main
1m 49s
Update Lean Action CI #34: Commit 6e97b18 pushed by vyorkin
1m 50s main
main
1m 50s
Update Lean Action CI #33: Commit ee12b32 pushed by vyorkin
2m 3s main
main
2m 3s
Update Lean Action CI #32: Commit fe4e210 pushed by vyorkin
1m 53s main
main
1m 53s
Update Lean Action CI #31: Commit 81a1522 pushed by vyorkin
1m 50s main
main
1m 50s
Update Lean Action CI #30: Commit be712f5 pushed by vyorkin
1m 56s main
main
1m 56s
Update Lean Action CI #29: Commit ccd028f pushed by vyorkin
1m 54s main
main
1m 54s
Update Lean Action CI #28: Commit 31f7306 pushed by vyorkin
3m 11s main
main
3m 11s
Update Lean Action CI #27: Commit 5d648dc pushed by vyorkin
1m 49s main
main
1m 49s
Update Lean Action CI #26: Commit 99c5480 pushed by vyorkin
1m 45s main
main
1m 45s
Update Lean Action CI #25: Commit 9f10387 pushed by vyorkin
1m 59s main
main
1m 59s
Update Lean Action CI #24: Commit 6a345d5 pushed by vyorkin
1m 45s main
main
1m 45s
Update Lean Action CI #23: Commit 5ef51bf pushed by vyorkin
1m 47s main
main
1m 47s
Update Lean Action CI #22: Commit 3000dcc pushed by vyorkin
1m 49s main
main
1m 49s
Update Lean Action CI #21: Commit 692758f pushed by vyorkin
1m 49s main
main
1m 49s
Update Lean Action CI #20: Commit 4eb57d7 pushed by vyorkin
2m 9s main
main
2m 9s
Update Lean Action CI #19: Commit 1e239f3 pushed by vyorkin
1m 36s main
main
1m 36s
Update Lean Action CI #18: Commit 95dc050 pushed by vyorkin
2m 0s main
main
2m 0s
Update Lean Action CI #17: Commit 1ddd1bc pushed by vyorkin
1m 39s main
main
1m 39s
Update Lean Action CI #16: Commit 4521efe pushed by vyorkin
1m 58s main
main
1m 58s
Update Lean Action CI #15: Commit b0fbb0c pushed by vyorkin
1m 49s main
main
1m 49s
Update Lean Action CI #14: Commit 62679a5 pushed by vyorkin
1m 52s main
main
1m 52s
Update Lean Action CI #13: Commit a9d8109 pushed by vyorkin
1m 37s main
main
1m 37s
Update Lean Action CI #12: Commit 0cdd0a9 pushed by vyorkin
1m 39s main
main
1m 39s
Update Lean Action CI #11: Commit d5221d8 pushed by vyorkin
2m 4s main
main
2m 4s