Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
415 workflow runs
415 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project
Build #808: Commit 06cc52b pushed by joneugster
April 24, 2024 15:01 2m 4s dev
dev
April 24, 2024 15:01 2m 4s
Build the project
Build #807: Commit a1b1a33 pushed by joneugster
April 19, 2024 08:07 2m 2s dev
dev
April 19, 2024 08:07 2m 2s
Build the project
Build #806: Commit 02978a3 pushed by joneugster
April 18, 2024 16:22 2m 5s dev
dev
April 18, 2024 16:22 2m 5s
Build the project
Build #805: Commit 8cf358e pushed by joneugster
April 18, 2024 16:07 2m 8s dev
dev
April 18, 2024 16:07 2m 8s
Build the project
Build #804: Commit 3ddcc35 pushed by joneugster
April 18, 2024 10:27 2m 0s dev
dev
April 18, 2024 10:27 2m 0s
Build the project
Build #803: Commit f308e1a pushed by joneugster
April 17, 2024 10:54 2m 6s dev
dev
April 17, 2024 10:54 2m 6s
Build the project
Build #802: Commit 62f1fb8 pushed by joneugster
April 17, 2024 10:23 2m 8s dev
dev
April 17, 2024 10:23 2m 8s
Build the project
Build #801: Commit 848b2cd pushed by joneugster
April 11, 2024 09:59 2m 5s dev
dev
April 11, 2024 09:59 2m 5s
Build the project
Build #800: Commit d034148 pushed by joneugster
April 11, 2024 08:30 2m 0s main
April 11, 2024 08:30 2m 0s
Build the project
Build #799: Commit 3d9d244 pushed by joneugster
April 10, 2024 15:13 2m 0s dev
dev
April 10, 2024 15:13 2m 0s
Build the project
Build #798: Commit feaf6da pushed by joneugster
April 10, 2024 14:20 2m 11s dev
dev
April 10, 2024 14:20 2m 11s
Build the project
Build #797: Commit feaf6da pushed by joneugster
April 10, 2024 14:17 2m 12s main
April 10, 2024 14:17 2m 12s
Build the project
Build #796: Commit 6059ff1 pushed by joneugster
April 10, 2024 14:17 1m 58s main
April 10, 2024 14:17 1m 58s
Build the project
Build #795: Commit 6f95f41 pushed by joneugster
April 10, 2024 14:15 2m 5s main
April 10, 2024 14:15 2m 5s
Build the project
Build #794: Commit 335209b pushed by joneugster
April 10, 2024 14:13 2m 4s main
April 10, 2024 14:13 2m 4s
Build the project
Build #793: Commit de1ff4f pushed by joneugster
April 10, 2024 14:12 2m 5s main
April 10, 2024 14:12 2m 5s
Build the project
Build #792: Commit db66cb1 pushed by joneugster
April 10, 2024 14:11 2m 7s main
April 10, 2024 14:11 2m 7s
Build the project
Build #791: Commit 66aa8e6 pushed by joneugster
April 10, 2024 13:24 2m 4s v4.7.0
April 10, 2024 13:24 2m 4s
Build the project
Build #790: Commit 66aa8e6 pushed by joneugster
April 10, 2024 13:23 2m 8s main
April 10, 2024 13:23 2m 8s
Build the project
Build #789: Commit 66aa8e6 pushed by joneugster
April 10, 2024 12:46 2m 23s dev
dev
April 10, 2024 12:46 2m 23s
Build the project
Build #788: Commit a523bab pushed by joneugster
April 10, 2024 12:45 1m 58s dev
dev
April 10, 2024 12:45 1m 58s
Build the project
Build #787: Commit 67b03d9 pushed by joneugster
April 10, 2024 12:06 2m 13s dev
dev
April 10, 2024 12:06 2m 13s
Build the project
Build #786: Commit a15dd0a pushed by joneugster
April 10, 2024 09:23 2m 12s dev
dev
April 10, 2024 09:23 2m 12s
Build the project
Build #785: Commit d456621 pushed by joneugster
April 9, 2024 07:47 2m 2s dev
dev
April 9, 2024 07:47 2m 2s
Build the project
Build #784: Commit 74059bd pushed by joneugster
April 8, 2024 21:20 2m 19s dev
dev
April 8, 2024 21:20 2m 19s