Skip to content

Actions: leanprover-community/lean4game

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
340 workflow runs
340 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #628: Commit 8b43aed pushed by joneugster
December 8, 2023 00:57 1m 51s main
main
December 8, 2023 00:57 1m 51s
Build the project Build #627: Commit 8c84d3f pushed by joneugster
December 8, 2023 00:54 1m 47s dev
dev
December 8, 2023 00:54 1m 47s
Build the project Build #626: Commit 8c84d3f pushed by joneugster
December 8, 2023 00:54 1m 50s main
main
December 8, 2023 00:54 1m 50s
Build the project Build #625: Commit d5697d0 pushed by joneugster
December 8, 2023 00:02 1m 51s v4.3.0
v4.3.0
December 8, 2023 00:02 1m 51s
Build the project Build #624: Commit d5697d0 pushed by joneugster
December 7, 2023 23:58 1m 59s dev
dev
December 7, 2023 23:58 1m 59s
Build the project Build #623: Commit 3f8b180 pushed by abentkamp
December 7, 2023 20:38 2m 16s dev
dev
December 7, 2023 20:38 2m 16s
Build the project Build #622: Commit 23b1074 pushed by joneugster
December 7, 2023 17:09 1m 54s dev
dev
December 7, 2023 17:09 1m 54s
Build the project Build #621: Commit 0964a06 pushed by joneugster
December 7, 2023 15:00 1m 51s main
main
December 7, 2023 15:00 1m 51s
Build the project Build #620: Commit f6a2632 pushed by joneugster
December 7, 2023 14:05 2m 15s v4.3.0
v4.3.0
December 7, 2023 14:05 2m 15s
Build the project Build #619: Commit f6a2632 pushed by joneugster
December 7, 2023 14:03 1m 28s v4.3.0
v4.3.0
December 7, 2023 14:03 1m 28s
Build the project Build #618: Commit f6a2632 pushed by joneugster
December 7, 2023 13:15 1m 50s dev
dev
December 7, 2023 13:15 1m 50s
Build the project Build #617: Commit 4c93b3a pushed by joneugster
December 7, 2023 13:10 1m 54s main
main
December 7, 2023 13:10 1m 54s
Build the project Build #616: Commit 333c949 pushed by joneugster
December 7, 2023 00:22 1m 56s main
main
December 7, 2023 00:22 1m 56s
Build the project Build #615: Commit 0714c1d pushed by joneugster
December 6, 2023 17:24 2m 0s v4.3.0
v4.3.0
December 6, 2023 17:24 2m 0s
Build the project Build #614: Commit 0714c1d pushed by joneugster
December 6, 2023 17:23 1m 49s main
main
December 6, 2023 17:23 1m 49s
Build the project Build #613: Commit 7a03c4f pushed by joneugster
December 6, 2023 17:22 1m 55s dev
dev
December 6, 2023 17:22 1m 55s
Build the project Build #612: Commit 333c949 pushed by joneugster
December 1, 2023 13:50 1m 48s main
main
December 1, 2023 13:50 1m 48s
Build the project Build #611: Commit 472e2c6 pushed by joneugster
December 1, 2023 13:32 1m 49s main
main
December 1, 2023 13:32 1m 49s
Build the project Build #610: Commit 121b36b pushed by joneugster
December 1, 2023 11:20 3m 35s v4.3.0
v4.3.0
December 1, 2023 11:20 3m 35s
Build the project Build #609: Commit 121b36b pushed by joneugster
December 1, 2023 11:20 1m 57s dev
dev
December 1, 2023 11:20 1m 57s
Build the project Build #608: Commit 6bced75 pushed by abentkamp
December 1, 2023 10:32 1m 57s dev
dev
December 1, 2023 10:32 1m 57s
Build the project Build #607: Commit d18b48d pushed by abentkamp
November 30, 2023 19:55 1m 50s dev
dev
November 30, 2023 19:55 1m 50s
Build the project Build #606: Commit 97dc648 pushed by abentkamp
November 30, 2023 19:38 1m 47s dev
dev
November 30, 2023 19:38 1m 47s
Build the project Build #605: Commit 472e2c6 pushed by joneugster
November 30, 2023 19:30 2m 8s dev
dev
November 30, 2023 19:30 2m 8s
Build the project Build #604: Commit 622e9d3 pushed by joneugster
November 30, 2023 18:54 1m 52s v4.3.0-rc2
v4.3.0-rc2
November 30, 2023 18:54 1m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.