Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the project
Build #834: Commit 1febc51 pushed by joneugster
June 13, 2024 09:46 1m 55s main
June 13, 2024 09:46 1m 55s
Build the project
Build #833: Commit d53b57a pushed by joneugster
June 13, 2024 09:45 1m 56s main
June 13, 2024 09:45 1m 56s
Build the project
Build #832: Commit 020b4f7 pushed by joneugster
June 13, 2024 09:43 1m 54s main
June 13, 2024 09:43 1m 54s
Build the project
Build #831: Commit 0ae0994 pushed by joneugster
June 13, 2024 08:39 2m 33s main
June 13, 2024 08:39 2m 33s
Build the project
Build #830: Commit b815b86 pushed by joneugster
June 12, 2024 09:55 1m 58s dev
dev
June 12, 2024 09:55 1m 58s
Build the project
Build #829: Commit 8b4215e pushed by joneugster
June 12, 2024 09:50 1m 59s dev
dev
June 12, 2024 09:50 1m 59s
Build the project
Build #828: Commit a0ecaee pushed by joneugster
June 11, 2024 23:16 2m 4s dev
dev
June 11, 2024 23:16 2m 4s
Build the project
Build #827: Commit dea5fd0 pushed by joneugster
June 11, 2024 23:08 1m 57s dev
dev
June 11, 2024 23:08 1m 57s
Build the project
Build #826: Commit c03e2f1 pushed by joneugster
June 11, 2024 22:32 1m 58s dev
dev
June 11, 2024 22:32 1m 58s
Build the project
Build #825: Commit aed2899 pushed by joneugster
June 11, 2024 21:08 17m 52s dev
dev
June 11, 2024 21:08 17m 52s
Build the project
Build #824: Commit 17d2ba5 pushed by joneugster
June 11, 2024 19:06 2m 7s dev
dev
June 11, 2024 19:06 2m 7s
Build the project
Build #823: Commit 2a07033 pushed by joneugster
June 11, 2024 18:39 2m 6s dev
dev
June 11, 2024 18:39 2m 6s
Build the project
Build #822: Commit 096bd55 pushed by joneugster
June 10, 2024 23:11 1m 59s dev
dev
June 10, 2024 23:11 1m 59s
Build the project
Build #821: Commit 446d029 pushed by joneugster
June 7, 2024 11:47 1m 13s bump_v4.8.0
June 7, 2024 11:47 1m 13s
Build the project
Build #820: Commit 80d4b88 pushed by joneugster
June 6, 2024 10:33 1m 52s dev
dev
June 6, 2024 10:33 1m 52s
Build the project
Build #819: Commit 714b4f4 pushed by joneugster
June 6, 2024 00:37 2m 2s dev
dev
June 6, 2024 00:37 2m 2s
Build the project
Build #818: Commit b091ec5 pushed by joneugster
June 4, 2024 18:38 2m 5s main
June 4, 2024 18:38 2m 5s
Build the project
Build #817: Commit 4ed0753 pushed by joneugster
June 2, 2024 08:36 2m 6s main
June 2, 2024 08:36 2m 6s
Build the project
Build #816: Commit 29eb90e pushed by joneugster
May 31, 2024 11:00 1m 53s main
May 31, 2024 11:00 1m 53s
Build the project
Build #815: Commit c735211 pushed by joneugster
May 21, 2024 08:41 2m 7s dev
dev
May 21, 2024 08:41 2m 7s
Build the project
Build #814: Commit 369b77f pushed by joneugster
May 16, 2024 22:17 2m 0s dev
dev
May 16, 2024 22:17 2m 0s
Build the project
Build #813: Commit 895c71d pushed by joneugster
May 16, 2024 21:40 2m 8s dev
dev
May 16, 2024 21:40 2m 8s
Build the project
Build #812: Commit 8b5d6ff pushed by joneugster
May 16, 2024 21:33 2m 2s dev
dev
May 16, 2024 21:33 2m 2s
Build the project
Build #811: Commit 5765c78 pushed by joneugster
May 3, 2024 14:30 2m 3s dev
dev
May 3, 2024 14:30 2m 3s
Build the project
Build #810: Commit 4e9ac54 pushed by joneugster
May 3, 2024 12:28 2m 0s main
May 3, 2024 12:28 2m 0s