Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
411 workflow runs
411 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project
Build #858: Commit f0aa6b5 pushed by TentativeConvert
November 8, 2024 15:54 1m 58s 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
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
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
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
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
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
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
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
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
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
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
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
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
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
August 27, 2024 12:52 2m 3s
Build the project
Build #841: Commit 5a09776 pushed by joneugster
August 20, 2024 14:48 1m 59s dev
dev
August 20, 2024 14:48 1m 59s
Build the project
Build #840: Commit 8c5e47d pushed by joneugster
July 31, 2024 15:14 2m 5s main
July 31, 2024 15:14 2m 5s
Build the project
Build #839: Commit a46840d pushed by joneugster
July 25, 2024 04:50 2m 6s main
July 25, 2024 04:50 2m 6s
Build the project
Build #838: Commit 255839f pushed by joneugster
July 12, 2024 08:00 1m 57s main
July 12, 2024 08:00 1m 57s
Build the project
Build #837: Commit b961030 pushed by joneugster
July 12, 2024 07:54 1m 55s main
July 12, 2024 07:54 1m 55s
Build the project
Build #836: Commit 23c8099 pushed by joneugster
June 25, 2024 15:01 2m 21s main
June 25, 2024 15:01 2m 21s
Build the project
Build #835: Commit 67090f5 pushed by joneugster
June 18, 2024 13:41 1m 54s dev
dev
June 18, 2024 13:41 1m 54s
Build the project
Build #834: Commit 1febc51 pushed by joneugster
June 13, 2024 09:46 1m 55s main
June 13, 2024 09:46 1m 55s