Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build and Test #740: Commit 85347a5 pushed by joneugster
February 29, 2024 10:40 2m 7s main
main
February 29, 2024 10:40 2m 7s
Build the project Build and Test #739: Commit 3b4afd6 pushed by joneugster
February 29, 2024 10:25 1m 7s main
main
February 29, 2024 10:25 1m 7s
Build the project Build and Test #738: Commit 3b4afd6 pushed by joneugster
February 29, 2024 10:24 1m 7s dev
dev
February 29, 2024 10:24 1m 7s
Build the project Build and Test #737: Commit 2c12872 pushed by joneugster
February 29, 2024 10:06 1m 56s v4.6.0
v4.6.0
February 29, 2024 10:06 1m 56s
Build the project Build and Test #736: Commit 2c12872 pushed by joneugster
February 29, 2024 10:05 2m 15s dev
dev
February 29, 2024 10:05 2m 15s
Build the project Build and Test #735: by joneugster
February 29, 2024 10:03 2m 0s main
main
February 29, 2024 10:03 2m 0s
Build the project Build and Test #734: Commit f72ebdf pushed by joneugster
February 29, 2024 09:55 1m 56s dev
dev
February 29, 2024 09:55 1m 56s
Build the project Build and Test #733: Commit 1796c76 pushed by joneugster
February 29, 2024 00:27 2m 9s dev
dev
February 29, 2024 00:27 2m 9s
Build the project Build and Test #732: Commit a75a4a8 pushed by joneugster
February 29, 2024 00:08 2m 3s dev
dev
February 29, 2024 00:08 2m 3s
Build the project Build and Test #731: Commit d689c7e pushed by joneugster
February 23, 2024 18:00 1m 50s v4.5.0
v4.5.0
February 23, 2024 18:00 1m 50s
Build the project Build and Test #730: Commit d689c7e pushed by joneugster
February 23, 2024 17:58 1m 49s main
main
February 23, 2024 17:58 1m 49s
Build the project Build and Test #729: Commit 2b85386 pushed by joneugster
February 16, 2024 17:20 2m 37s dev
dev
February 16, 2024 17:20 2m 37s
Build the project Build and Test #728: Commit 2649f98 pushed by joneugster
February 16, 2024 15:50 1m 55s dev
dev
February 16, 2024 15:50 1m 55s
Build the project Build and Test #727: Commit 698a88c pushed by joneugster
February 16, 2024 09:57 31s main
main
February 16, 2024 09:57 31s
Build the project Build and Test #726: Commit 3775ad9 pushed by joneugster
February 14, 2024 17:36 1m 53s dev
dev
February 14, 2024 17:36 1m 53s
Build the project Build and Test #725: Commit 780514e pushed by joneugster
February 14, 2024 17:22 1m 56s dev
dev
February 14, 2024 17:22 1m 56s
Build the project Build and Test #724: Commit 19f2cef pushed by joneugster
February 14, 2024 15:45 1m 49s dev
dev
February 14, 2024 15:45 1m 49s
Build the project Build and Test #723: Commit ce73907 pushed by joneugster
February 14, 2024 15:22 1m 58s v4.6.0-bump
v4.6.0-bump
February 14, 2024 15:22 1m 58s
Build the project Build and Test #722: Commit a671bfa pushed by joneugster
February 14, 2024 14:05 1m 32s v4.6.0-bump
v4.6.0-bump
February 14, 2024 14:05 1m 32s
Build the project Build and Test #721: Commit 800d1f3 pushed by joneugster
February 14, 2024 14:03 1m 55s dev
dev
February 14, 2024 14:03 1m 55s
Build the project Build and Test #720: Commit 5bb6c55 pushed by joneugster
February 7, 2024 12:03 1m 52s dev
dev
February 7, 2024 12:03 1m 52s
Build the project Build and Test #719: Commit 11ee6c1 pushed by joneugster
February 7, 2024 11:54 1m 0s dev
dev
February 7, 2024 11:54 1m 0s
Build the project Build and Test #718: Commit 3b660c5 pushed by joneugster
February 2, 2024 11:47 40s v4.5.0
v4.5.0
February 2, 2024 11:47 40s
Build the project Build and Test #717: Commit 3b660c5 pushed by joneugster
February 2, 2024 11:44 56s main
main
February 2, 2024 11:44 56s
Build the project Build and Test #716: Commit ebb8c98 pushed by joneugster
February 2, 2024 11:44 35s dev
dev
February 2, 2024 11:44 35s