Skip to content

Actions: Trequetrum/lean4game-logic

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
28 workflow runs
28 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