Skip to content

Actions: leanprover-community/lean4game

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
501 workflow runs
501 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
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
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
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
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
main
May 3, 2024 12:28 2m 0s
Build the project Build #809: Commit 05fbee9 pushed by joneugster
April 25, 2024 13:11 2m 17s dev
dev
April 25, 2024 13:11 2m 17s
Build the project Build #808: Commit 06cc52b pushed by joneugster
April 24, 2024 15:01 2m 4s dev
dev
April 24, 2024 15:01 2m 4s
Build the project Build #807: Commit a1b1a33 pushed by joneugster
April 19, 2024 08:07 2m 2s dev
dev
April 19, 2024 08:07 2m 2s
Build the project Build #806: Commit 02978a3 pushed by joneugster
April 18, 2024 16:22 2m 5s dev
dev
April 18, 2024 16:22 2m 5s