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 #840: Commit 8c5e47d pushed by joneugster
July 31, 2024 15:14 2m 5s main
main
July 31, 2024 15:14 2m 5s
Build the project Build and Test #839: Commit a46840d pushed by joneugster
July 25, 2024 04:50 2m 6s main
main
July 25, 2024 04:50 2m 6s
Build the project Build and Test #838: Commit 255839f pushed by joneugster
July 12, 2024 08:00 1m 57s main
main
July 12, 2024 08:00 1m 57s
Build the project Build and Test #837: Commit b961030 pushed by joneugster
July 12, 2024 07:54 1m 55s main
main
July 12, 2024 07:54 1m 55s
Build the project Build and Test #836: Commit 23c8099 pushed by joneugster
June 25, 2024 15:01 2m 21s main
main
June 25, 2024 15:01 2m 21s
Build the project Build and Test #835: Commit 67090f5 pushed by joneugster
June 18, 2024 13:41 1m 54s dev
dev
June 18, 2024 13:41 1m 54s
Build the project Build and Test #834: Commit 1febc51 pushed by joneugster
June 13, 2024 09:46 1m 55s main
main
June 13, 2024 09:46 1m 55s
Build the project Build and Test #833: Commit d53b57a pushed by joneugster
June 13, 2024 09:45 1m 56s main
main
June 13, 2024 09:45 1m 56s
Build the project Build and Test #832: Commit 020b4f7 pushed by joneugster
June 13, 2024 09:43 1m 54s main
main
June 13, 2024 09:43 1m 54s
Build the project Build and Test #831: Commit 0ae0994 pushed by joneugster
June 13, 2024 08:39 2m 33s main
main
June 13, 2024 08:39 2m 33s
Build the project Build and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #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 and Test #816: Commit 29eb90e pushed by joneugster
May 31, 2024 11:00 1m 53s main
main
May 31, 2024 11:00 1m 53s