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 #758: Commit fa4ae56 pushed by joneugster
March 15, 2024 16:08 1m 58s v4.6.1
v4.6.1
March 15, 2024 16:08 1m 58s
Build the project Build #757: Commit fa4ae56 pushed by joneugster
March 15, 2024 16:07 1m 57s dev
dev
March 15, 2024 16:07 1m 57s
Build the project Build #756: Commit 6cdbfbd pushed by joneugster
March 14, 2024 20:18 1m 59s dev
dev
March 14, 2024 20:18 1m 59s
Build the project Build #755: Commit f55581a pushed by joneugster
March 14, 2024 18:44 1m 58s dev
dev
March 14, 2024 18:44 1m 58s
Build the project Build #754: Commit e075701 pushed by joneugster
March 11, 2024 18:42 2m 1s dev
dev
March 11, 2024 18:42 2m 1s
Build the project Build #753: Commit e075701 pushed by joneugster
March 11, 2024 18:36 1m 53s main
main
March 11, 2024 18:36 1m 53s
Build the project Build #752: Commit 87689e1 pushed by joneugster
March 11, 2024 18:30 2m 3s main
main
March 11, 2024 18:30 2m 3s
Build the project Build #751: Commit 87689e1 pushed by joneugster
March 11, 2024 18:29 2m 16s dev
dev
March 11, 2024 18:29 2m 16s
Build the project Build #750: Commit 47297e4 pushed by joneugster
March 11, 2024 17:19 2m 2s dev
dev
March 11, 2024 17:19 2m 2s
Build the project Build #749: Commit 68f84a3 pushed by joneugster
February 29, 2024 15:54 2m 3s v4.6.0
v4.6.0
February 29, 2024 15:54 2m 3s
Build the project Build #748: Commit 68f84a3 pushed by joneugster
February 29, 2024 15:53 2m 1s main
main
February 29, 2024 15:53 2m 1s
Build the project Build #747: Commit 68f84a3 pushed by joneugster
February 29, 2024 15:53 2m 0s dev
dev
February 29, 2024 15:53 2m 0s
Build the project Build #746: Commit 217f86c pushed by joneugster
February 29, 2024 14:12 2m 1s dev
dev
February 29, 2024 14:12 2m 1s
Build the project Build #745: Commit dd60093 pushed by joneugster
February 29, 2024 11:23 2m 0s dev
dev
February 29, 2024 11:23 2m 0s
Build the project Build #744: Commit dd60093 pushed by joneugster
February 29, 2024 11:21 1m 55s v4.6.0
v4.6.0
February 29, 2024 11:21 1m 55s
Build the project Build #743: Commit dd60093 pushed by joneugster
February 29, 2024 11:04 1m 58s v4.6.0
v4.6.0
February 29, 2024 11:04 1m 58s
Build the project Build #742: Commit dd60093 pushed by joneugster
February 29, 2024 11:04 2m 14s main
main
February 29, 2024 11:04 2m 14s
Build the project Build #741: Commit 85347a5 pushed by joneugster
February 29, 2024 10:41 2m 0s v4.6.0
v4.6.0
February 29, 2024 10:41 2m 0s
Build the project Build #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 #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 #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 #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 #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 #735: by joneugster
February 29, 2024 10:03 2m 0s main
main
February 29, 2024 10:03 2m 0s
Build the project Build #734: Commit f72ebdf pushed by joneugster
February 29, 2024 09:55 1m 56s dev
dev
February 29, 2024 09:55 1m 56s