Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project Build #716: Commit ebb8c98 pushed by joneugster
February 2, 2024 11:44 35s dev
dev
February 2, 2024 11:44 35s
Build the project Build #715: Commit afae75e pushed by abentkamp
February 1, 2024 20:52 47s wasm2
wasm2
February 1, 2024 20:52 47s
Build the project Build #714: Commit df423aa pushed by joneugster
January 26, 2024 11:06 2m 2s dev
dev
January 26, 2024 11:06 2m 2s
Build the project Build #713: Commit a67dcb3 pushed by joneugster
January 26, 2024 10:55 1m 58s dev
dev
January 26, 2024 10:55 1m 58s
Build the project Build #712: Commit 26202e5 pushed by joneugster
January 22, 2024 13:09 1m 57s dev
dev
January 22, 2024 13:09 1m 57s
Build the project Build #711: Commit ed017fa pushed by joneugster
January 22, 2024 13:07 1m 43s dev
dev
January 22, 2024 13:07 1m 43s
Build the project Build #710: Commit 36bc52c pushed by joneugster
January 22, 2024 12:32 1m 56s main
main
January 22, 2024 12:32 1m 56s
Build the project Build #709: Commit e085f2f pushed by joneugster
January 22, 2024 12:26 1m 55s main
main
January 22, 2024 12:26 1m 55s
Build the project Build #708: Commit ca57654 pushed by joneugster
January 19, 2024 09:53 2m 2s dev
dev
January 19, 2024 09:53 2m 2s
Build the project Build #707: Commit c103eea pushed by joneugster
January 18, 2024 13:57 1m 55s dev
dev
January 18, 2024 13:57 1m 55s
Build the project Build #706: Commit 16ff701 pushed by joneugster
January 18, 2024 12:51 2m 0s main
main
January 18, 2024 12:51 2m 0s
Build the project Build #705: Commit 20ca385 pushed by joneugster
January 18, 2024 12:48 2m 2s main
main
January 18, 2024 12:48 2m 2s
Build the project Build #704: Commit 5a38543 pushed by joneugster
January 18, 2024 12:48 1m 53s main
main
January 18, 2024 12:48 1m 53s
Build the project Build #703: Commit a4a6f2e pushed by joneugster
January 18, 2024 12:47 2m 2s main
main
January 18, 2024 12:47 2m 2s
Build the project Build #702: Commit cc89e78 pushed by joneugster
January 18, 2024 12:47 2m 9s joneugster-patch-1-1
joneugster-patch-1-1
January 18, 2024 12:47 2m 9s
Build the project Build #701: Commit c533a63 pushed by joneugster
January 18, 2024 12:47 1m 56s joneugster-patch-1
joneugster-patch-1
January 18, 2024 12:47 1m 56s
Build the project Build #700: Commit 7114a8c pushed by joneugster
January 15, 2024 11:15 2m 0s main
main
January 15, 2024 11:15 2m 0s
Build the project Build #699: Commit b7eb151 pushed by joneugster
January 15, 2024 10:24 2m 6s main
main
January 15, 2024 10:24 2m 6s
Build the project Build #698: Commit cd1d212 pushed by joneugster
January 10, 2024 14:41 2m 10s dev
dev
January 10, 2024 14:41 2m 10s
Build the project Build #697: Commit 406c279 pushed by joneugster
December 25, 2023 11:08 1m 57s v4.5.0-bump
v4.5.0-bump
December 25, 2023 11:08 1m 57s
Build the project Build #696: Commit e579071 pushed by joneugster
December 25, 2023 11:05 1m 59s dev
dev
December 25, 2023 11:05 1m 59s
Build the project Build #695: Commit e579071 pushed by joneugster
December 25, 2023 11:03 1m 55s v4.4.0
v4.4.0
December 25, 2023 11:03 1m 55s
Build the project Build #694: Commit e579071 pushed by joneugster
December 25, 2023 11:02 2m 1s main
main
December 25, 2023 11:02 2m 1s
Build the project Build #693: Commit 8cdac88 pushed by joneugster
December 22, 2023 12:28 1m 53s v4.4.0
v4.4.0
December 22, 2023 12:28 1m 53s
Build the project Build #692: Commit c9f97b3 pushed by joneugster
December 22, 2023 10:19 1m 54s v4.4.0
v4.4.0
December 22, 2023 10:19 1m 54s