Skip to content

Actions: Trequetrum/lean4game-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the game and save artifact Build #29: Commit 40ceec5 pushed by Trequetrum
July 10, 2024 11:53 6m 15s main
main
July 10, 2024 11:53 6m 15s
Build the game and save artifact Build #28: Commit da0f5f1 pushed by Trequetrum
May 14, 2024 15:01 7m 47s main
main
May 14, 2024 15:01 7m 47s
Build the game and save artifact Build #27: Commit 38e800c pushed by Trequetrum
May 14, 2024 13:06 7m 54s main
main
May 14, 2024 13:06 7m 54s
Build the game and save artifact Build #26: Commit e9c1e85 pushed by Trequetrum
May 14, 2024 13:06 12m 15s main
main
May 14, 2024 13:06 12m 15s
Build the game and save artifact Build #25: Commit 61b884a pushed by Trequetrum
May 14, 2024 13:05 8m 6s main
main
May 14, 2024 13:05 8m 6s
Build the game and save artifact Build #24: Commit f77393e pushed by Trequetrum
February 29, 2024 17:42 8m 50s main
main
February 29, 2024 17:42 8m 50s
Build the game and save artifact Build #23: Commit 5ef71ba pushed by Trequetrum
February 29, 2024 17:41 6m 3s main
main
February 29, 2024 17:41 6m 3s
Build the game and save artifact Build #22: Commit d7e34e8 pushed by Trequetrum
January 24, 2024 15:55 7m 29s main
main
January 24, 2024 15:55 7m 29s
Build the game and save artifact Build #21: Commit 41ebbeb pushed by Trequetrum
January 22, 2024 16:40 8m 43s main
main
January 22, 2024 16:40 8m 43s
Build the game and save artifact Build #20: Commit 1b00f5c pushed by Trequetrum
January 22, 2024 16:16 7m 40s main
main
January 22, 2024 16:16 7m 40s
Build the game and save artifact Build #19: Commit 4748d2e pushed by Trequetrum
January 20, 2024 17:04 7m 19s main
main
January 20, 2024 17:04 7m 19s
Build the game and save artifact Build #18: Commit a27deee pushed by Trequetrum
January 20, 2024 16:53 7m 18s main
main
January 20, 2024 16:53 7m 18s
Build the game and save artifact Build #17: Commit fac4cd9 pushed by Trequetrum
January 16, 2024 14:15 7m 24s main
main
January 16, 2024 14:15 7m 24s
Build the game and save artifact Build #16: Commit 45732fa pushed by Trequetrum
January 12, 2024 17:50 7m 9s main
main
January 12, 2024 17:50 7m 9s
Build the game and save artifact Build #15: Commit 1022b56 pushed by Trequetrum
January 11, 2024 21:27 6m 55s main
main
January 11, 2024 21:27 6m 55s
Build the game and save artifact Build #14: Commit dba1a0a pushed by Trequetrum
January 11, 2024 02:47 6m 58s main
main
January 11, 2024 02:47 6m 58s
Build the game and save artifact Build #13: Commit 093051b pushed by Trequetrum
January 11, 2024 02:28 6m 52s main
main
January 11, 2024 02:28 6m 52s
Build the game and save artifact Build #12: Commit ec89781 pushed by Trequetrum
January 4, 2024 04:53 2m 57s main
main
January 4, 2024 04:53 2m 57s
Build the game and save artifact Build #11: Commit 150b557 pushed by Trequetrum
December 24, 2023 17:56 2m 52s main
main
December 24, 2023 17:56 2m 52s
Build the game and save artifact Build #10: Commit 36c4543 pushed by Trequetrum
December 23, 2023 16:37 1m 21s main
main
December 23, 2023 16:37 1m 21s
Build the game and save artifact Build #9: Commit fa273c9 pushed by Trequetrum
December 20, 2023 21:53 2m 52s main
main
December 20, 2023 21:53 2m 52s
Build the game and save artifact Build #8: Commit 3408882 pushed by Trequetrum
December 16, 2023 15:06 3m 23s main
main
December 16, 2023 15:06 3m 23s
Build the game and save artifact Build #7: Commit e7a10ee pushed by Trequetrum
December 15, 2023 23:07 2m 48s main
main
December 15, 2023 23:07 2m 48s
Build the game and save artifact Build #6: Commit efe0801 pushed by Trequetrum
December 13, 2023 01:37 2m 51s main
main
December 13, 2023 01:37 2m 51s
Build the game and save artifact Build #5: Commit 00dad0b pushed by Trequetrum
December 8, 2023 03:47 2m 43s main
main
December 8, 2023 03:47 2m 43s