Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
383 workflow runs
383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #866: Commit 52898d9 pushed by matlorr
December 28, 2024 10:13 1m 49s main
main
December 28, 2024 10:13 1m 49s
Build the project Build #865: Commit 5f30572 pushed by matlorr
December 28, 2024 09:10 1m 47s main
main
December 28, 2024 09:10 1m 47s
Build the project Build #864: Commit f1f9325 pushed by joneugster
December 22, 2024 10:18 1m 56s main
main
December 22, 2024 10:18 1m 56s
Build the project Build #863: Commit ae38ad9 pushed by joneugster
December 22, 2024 10:17 1m 51s main
main
December 22, 2024 10:17 1m 51s
Build the project Build #862: Commit 64f34ac pushed by matlorr
December 10, 2024 17:49 2m 1s main
main
December 10, 2024 17:49 2m 1s
Build the project Build #861: Commit ae38ad9 pushed by TentativeConvert
December 10, 2024 13:35 2m 7s main
main
December 10, 2024 13:35 2m 7s
Build the project Build #860: Commit a191c47 pushed by TentativeConvert
December 10, 2024 13:28 2m 13s main
main
December 10, 2024 13:28 2m 13s
Build the project Build #859: Commit 0e58e81 pushed by joneugster
November 25, 2024 11:38 2m 3s main
main
November 25, 2024 11:38 2m 3s
Build the project Build #858: Commit f0aa6b5 pushed by TentativeConvert
November 8, 2024 15:54 1m 58s main
main
November 8, 2024 15:54 1m 58s
Build the project Build #857: Commit 045b1ea pushed by matlorr
October 25, 2024 06:08 2m 28s main
main
October 25, 2024 06:08 2m 28s
Build the project Build #856: Commit dc6f7b2 pushed by matlorr
October 21, 2024 08:02 2m 9s stats
stats
October 21, 2024 08:02 2m 9s
Build the project Build #855: Commit db5ac7e pushed by joneugster
October 20, 2024 13:02 2m 1s main
main
October 20, 2024 13:02 2m 1s
Build the project Build #854: Commit 6a0e739 pushed by joneugster
October 20, 2024 12:55 1m 55s main
main
October 20, 2024 12:55 1m 55s
Build the project Build #853: Commit ed96cf9 pushed by joneugster
October 20, 2024 12:54 1m 56s main
main
October 20, 2024 12:54 1m 56s
Build the project Build #852: Commit 2022fa9 pushed by matlorr
October 11, 2024 09:10 2m 0s stats
stats
October 11, 2024 09:10 2m 0s
Build the project Build #851: Commit 92acdb7 pushed by joneugster
October 10, 2024 07:33 45s dev
dev
October 10, 2024 07:33 45s
Build the project Build #850: Commit 64ad36d pushed by joneugster
October 10, 2024 07:19 46s dev
dev
October 10, 2024 07:19 46s
Build the project Build #849: Commit b77afeb pushed by joneugster
October 1, 2024 12:59 2m 12s stats
stats
October 1, 2024 12:59 2m 12s
Build the project Build #848: Commit 4ac38ef pushed by matlorr
October 1, 2024 08:28 2m 0s main
main
October 1, 2024 08:28 2m 0s
Build the project Build #847: Commit 6a8abf4 pushed by joneugster
September 29, 2024 12:03 1m 59s main
main
September 29, 2024 12:03 1m 59s
Build the project Build #846: Commit 1466a41 pushed by joneugster
September 29, 2024 10:43 1m 54s main
main
September 29, 2024 10:43 1m 54s
Build the project Build #845: Commit 3cdb9a0 pushed by joneugster
September 29, 2024 10:39 2m 8s main
main
September 29, 2024 10:39 2m 8s
Build the project Build #844: Commit ebd7268 pushed by joneugster
September 26, 2024 16:07 1m 58s main
main
September 26, 2024 16:07 1m 58s
Build the project Build #843: Commit af15982 pushed by joneugster
September 7, 2024 18:15 2m 2s main
main
September 7, 2024 18:15 2m 2s
Build the project Build #842: Commit 36499c0 pushed by joneugster
August 27, 2024 12:52 2m 3s main
main
August 27, 2024 12:52 2m 3s