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 #715: Commit afae75e pushed by abentkamp
February 1, 2024 20:52 47s wasm2
wasm2
February 1, 2024 20:52 47s
Build the project Build and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #698: Commit cd1d212 pushed by joneugster
January 10, 2024 14:41 2m 10s dev
dev
January 10, 2024 14:41 2m 10s