Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
383 workflow runs
383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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