Skip to content

Actions: Trequetrum/lean4game-logic

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
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 #4: Commit e1f3c59 pushed by Trequetrum
December 8, 2023 03:41 3m 8s main
main
December 8, 2023 03:41 3m 8s
Build the game and save artifact Build #3: Commit 103f870 pushed by Trequetrum
December 6, 2023 01:51 9m 14s main
main
December 6, 2023 01:51 9m 14s
Build the game and save artifact Build #2: Commit 039270a pushed by Trequetrum
December 6, 2023 01:32 9m 30s main
main
December 6, 2023 01:32 9m 30s
Build the game and save artifact Build #1: Commit b848141 pushed by Trequetrum
November 7, 2023 23:01 26m 9s main
main
November 7, 2023 23:01 26m 9s