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 #890: Commit 00fbe6e pushed by matlorr
February 25, 2025 07:31 1m 57s FIX/nothing_here
FIX/nothing_here
February 25, 2025 07:31 1m 57s
Build the project Build and Test #889: Commit d753dec pushed by joneugster
February 24, 2025 11:00 47s dev
dev
February 24, 2025 11:00 47s
Build the project Build and Test #888: Commit 1d55a1b pushed by joneugster
February 21, 2025 09:03 1m 51s main
main
February 21, 2025 09:03 1m 51s
Build the project Build and Test #887: Commit 6570cc6 pushed by joneugster
February 21, 2025 09:00 1m 56s main
main
February 21, 2025 09:00 1m 56s
Build the project Build and Test #886: Commit d303c17 pushed by joneugster
February 21, 2025 08:55 2m 0s main
main
February 21, 2025 08:55 2m 0s
Build the project Build and Test #885: Commit ed9f7d5 pushed by joneugster
February 21, 2025 08:54 2m 9s main
main
February 21, 2025 08:54 2m 9s
Build the project Build and Test #884: Commit 89cdaad pushed by matlorr
February 14, 2025 10:27 1m 50s main
main
February 14, 2025 10:27 1m 50s
Build the project Build and Test #883: Commit c619cb5 pushed by matlorr
February 14, 2025 10:24 1m 55s check_upload_size
check_upload_size
February 14, 2025 10:24 1m 55s
Build the project Build and Test #882: Commit 1e4399b pushed by matlorr
February 14, 2025 10:10 2m 4s check_upload_size
check_upload_size
February 14, 2025 10:10 2m 4s
Build the project Build and Test #881: Commit 81bb593 pushed by matlorr
February 14, 2025 10:09 1m 54s check_upload_size
check_upload_size
February 14, 2025 10:09 1m 54s
Build the project Build and Test #880: Commit 0231d99 pushed by matlorr
February 9, 2025 19:53 1m 54s main
main
February 9, 2025 19:53 1m 54s
Build the project Build and Test #879: Commit 7503739 pushed by matlorr
February 7, 2025 08:46 1m 53s check_upload_size
check_upload_size
February 7, 2025 08:46 1m 53s
Build the project Build and Test #878: Commit 836bd56 pushed by matlorr
January 31, 2025 15:17 2m 5s check_upload_size
check_upload_size
January 31, 2025 15:17 2m 5s
Build the project Build and Test #877: Commit 50bf73a pushed by joneugster
January 30, 2025 10:02 1m 55s main
main
January 30, 2025 10:02 1m 55s
Build the project Build and Test #876: Commit 39d7af9 pushed by joneugster
January 27, 2025 10:13 1m 53s main
main
January 27, 2025 10:13 1m 53s
Build the project Build and Test #875: Commit 49062cc pushed by joneugster
January 26, 2025 13:30 2m 5s add_game_knights
add_game_knights
January 26, 2025 13:30 2m 5s
Build the project Build and Test #874: Commit f75389e pushed by matlorr
January 24, 2025 13:33 1m 50s main
main
January 24, 2025 13:33 1m 50s
Build the project Build and Test #873: Commit 92665b7 pushed by matlorr
January 24, 2025 12:52 2m 5s server_capacity
server_capacity
January 24, 2025 12:52 2m 5s
Build the project Build and Test #872: Commit 1845644 pushed by matlorr
January 24, 2025 12:51 1m 48s server_capacity
server_capacity
January 24, 2025 12:51 1m 48s
Build the project Build and Test #871: Commit 341a9ae pushed by matlorr
January 10, 2025 11:18 1m 54s main
main
January 10, 2025 11:18 1m 54s
Build the project Build and Test #870: Commit 0895821 pushed by matlorr
January 10, 2025 11:15 1m 52s server_capacity
server_capacity
January 10, 2025 11:15 1m 52s
Build the project Build and Test #869: Commit 5b07156 pushed by matlorr
January 10, 2025 11:12 1m 53s server_capacity
server_capacity
January 10, 2025 11:12 1m 53s
Build the project Build and Test #868: Commit 39e0819 pushed by matlorr
January 10, 2025 09:16 1m 48s main
main
January 10, 2025 09:16 1m 48s
Build the project Build and Test #867: Commit 451dc26 pushed by matlorr
January 10, 2025 09:13 1m 50s server_capacity
server_capacity
January 10, 2025 09:13 1m 50s
Build the project Build and Test #866: Commit 52898d9 pushed by matlorr
December 28, 2024 10:13 1m 49s main
main
December 28, 2024 10:13 1m 49s