Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #484: Commit c50517b pushed by joneugster
September 21, 2023 15:39 3m 9s main
main
September 21, 2023 15:39 3m 9s
Build the project Build #483: Commit f70aab2 pushed by abentkamp
September 12, 2023 09:15 3m 9s main
main
September 12, 2023 09:15 3m 9s
Build the project Build #482: Commit a7dab88 pushed by abentkamp
September 12, 2023 08:14 2m 52s main
main
September 12, 2023 08:14 2m 52s
Build the project Build #481: Commit ade2074 pushed by joneugster
September 10, 2023 19:06 3m 53s main
main
September 10, 2023 19:06 3m 53s
Build the project Build #480: Commit b01dd1d pushed by joneugster
September 10, 2023 14:15 4m 28s main
main
September 10, 2023 14:15 4m 28s
Build the project Build #479: Commit 87cb299 pushed by joneugster
September 10, 2023 12:40 3m 46s main
main
September 10, 2023 12:40 3m 46s
Build the project Build #478: Commit 98ea870 pushed by joneugster
September 1, 2023 18:09 2m 42s main
main
September 1, 2023 18:09 2m 42s
Build the project Build #477: Commit 22f0bac pushed by joneugster
September 1, 2023 11:45 3m 39s main
main
September 1, 2023 11:45 3m 39s
Build the project Build #476: Commit 9c6ed17 pushed by joneugster
September 1, 2023 11:04 2m 44s main
main
September 1, 2023 11:04 2m 44s
Build the project Build #475: Commit 4d4d2a5 pushed by joneugster
September 1, 2023 10:35 2m 51s main
main
September 1, 2023 10:35 2m 51s
Build the project Build #474: Commit 6371f77 pushed by joneugster
September 1, 2023 10:11 3m 20s main
main
September 1, 2023 10:11 3m 20s
Build the project Build #473: Commit 73b80e7 pushed by joneugster
September 1, 2023 09:52 3m 13s main
main
September 1, 2023 09:52 3m 13s
Build the project Build #472: Commit db5cfbc pushed by joneugster
August 31, 2023 16:15 3m 7s main
main
August 31, 2023 16:15 3m 7s
Build the project Build #471: Commit 42eaedd pushed by joneugster
August 31, 2023 12:49 3m 51s main
main
August 31, 2023 12:49 3m 51s
Build the project Build #470: Commit 6437013 pushed by joneugster
August 31, 2023 11:38 3m 14s main
main
August 31, 2023 11:38 3m 14s
Build the project Build #469: Commit 30c5648 pushed by joneugster
August 30, 2023 16:08 3m 16s jon/editor-mode
jon/editor-mode
August 30, 2023 16:08 3m 16s
Build the project Build #468: Commit 2bc0bb2 pushed by joneugster
August 30, 2023 15:34 4m 8s main
main
August 30, 2023 15:34 4m 8s
Build the project Build #467: Commit d7fdd95 pushed by joneugster
August 29, 2023 08:15 2m 46s main
main
August 29, 2023 08:15 2m 46s
Build the project Build #466: Commit c738695 pushed by joneugster
August 28, 2023 10:37 3m 29s main
main
August 28, 2023 10:37 3m 29s
Build the project Build #465: Commit eb8fa91 pushed by joneugster
August 28, 2023 10:24 3m 30s main
main
August 28, 2023 10:24 3m 30s
Build the project Build #464: Commit 88860d2 pushed by joneugster
August 28, 2023 09:40 4m 21s main
main
August 28, 2023 09:40 4m 21s
Build the project Build #463: Commit 50ec616 pushed by joneugster
August 28, 2023 09:33 2m 47s main
main
August 28, 2023 09:33 2m 47s
Build the project Build #462: Commit 764ed55 pushed by joneugster
August 28, 2023 09:17 2m 48s main
main
August 28, 2023 09:17 2m 48s
Build the project Build #461: Commit 8be7f2f pushed by joneugster
August 25, 2023 16:06 2m 48s main
main
August 25, 2023 16:06 2m 48s
Build the project Build #460: Commit b6ea453 pushed by joneugster
August 25, 2023 16:04 3m 14s main
main
August 25, 2023 16:04 3m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.