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 #783: Commit 10391b6 pushed by joneugster
March 28, 2024 19:45 2m 3s dev
dev
March 28, 2024 19:45 2m 3s
Build the project Build #782: Commit aaa6c3b pushed by joneugster
March 27, 2024 01:17 1m 58s dev
dev
March 27, 2024 01:17 1m 58s
Build the project Build #781: Commit d60dc3f pushed by joneugster
March 27, 2024 01:03 2m 0s dev
dev
March 27, 2024 01:03 2m 0s
Build the project Build #780: Commit 1a54edf pushed by joneugster
March 27, 2024 00:38 2m 15s dev
dev
March 27, 2024 00:38 2m 15s
Build the project Build #779: by joneugster
March 26, 2024 23:22 2m 6s dev
dev
March 26, 2024 23:22 2m 6s
Build the project Build #778: Commit a26022e pushed by joneugster
March 26, 2024 18:10 2m 11s dev
dev
March 26, 2024 18:10 2m 11s
Build the project Build #777: Commit 7c44d49 pushed by joneugster
March 26, 2024 16:24 3m 3s dev
dev
March 26, 2024 16:24 3m 3s
Build the project Build #776: Commit a7784ef pushed by joneugster
March 26, 2024 09:04 1m 58s dev
dev
March 26, 2024 09:04 1m 58s
Build the project Build #775: Commit 389e120 pushed by joneugster
March 26, 2024 01:49 1m 59s dev
dev
March 26, 2024 01:49 1m 59s
Build the project Build #774: Commit ee9fd18 pushed by joneugster
March 26, 2024 00:16 2m 2s dev
dev
March 26, 2024 00:16 2m 2s
Build the project Build #773: Commit 8b29f88 pushed by joneugster
March 26, 2024 00:02 2m 5s dev
dev
March 26, 2024 00:02 2m 5s
Build the project Build #772: Commit ebda6cc pushed by joneugster
March 25, 2024 23:31 2m 7s dev
dev
March 25, 2024 23:31 2m 7s
Build the project Build #771: Commit 7e9514f pushed by joneugster
March 25, 2024 22:51 1m 56s dev
dev
March 25, 2024 22:51 1m 56s
Build the project Build #770: Commit 038dbe7 pushed by joneugster
March 25, 2024 22:00 2m 7s dev
dev
March 25, 2024 22:00 2m 7s
Build the project Build #769: Commit 19d2ea3 pushed by joneugster
March 25, 2024 21:44 1m 57s dev
dev
March 25, 2024 21:44 1m 57s
Build the project Build #768: Commit 3ac8fda pushed by joneugster
March 25, 2024 21:31 1m 58s dev
dev
March 25, 2024 21:31 1m 58s
Build the project Build #767: Commit 8d0493a pushed by joneugster
March 25, 2024 21:23 2m 4s dev
dev
March 25, 2024 21:23 2m 4s
Build the project Build #766: Commit b37f050 pushed by joneugster
March 25, 2024 17:51 1m 57s dev
dev
March 25, 2024 17:51 1m 57s
Build the project Build #765: Commit ff12b34 pushed by joneugster
March 25, 2024 12:43 2m 3s dev
dev
March 25, 2024 12:43 2m 3s
Build the project Build #764: Commit 45bc046 pushed by joneugster
March 24, 2024 16:37 1m 59s dev
dev
March 24, 2024 16:37 1m 59s
Build the project Build #763: Commit c24efb1 pushed by joneugster
March 23, 2024 12:25 2m 7s dev
dev
March 23, 2024 12:25 2m 7s
Build the project Build #762: Commit a9447a7 pushed by joneugster
March 23, 2024 00:11 2m 3s dev
dev
March 23, 2024 00:11 2m 3s
Build the project Build #761: Commit eaa4eec pushed by joneugster
March 22, 2024 22:27 1m 59s dev
dev
March 22, 2024 22:27 1m 59s
Build the project Build #760: Commit 1828e73 pushed by joneugster
March 22, 2024 17:59 2m 7s dev
dev
March 22, 2024 17:59 2m 7s
Build the project Build #759: Commit ce9f5c7 pushed by joneugster
March 22, 2024 17:11 1m 56s dev
dev
March 22, 2024 17:11 1m 56s