Skip to content

Actions: Lean-zh/GlimpseToGame

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build non-main branch Build non-main branch #2: Commit ec6d853 pushed by RexWzh
August 17, 2024 15:23 18s setup-mathlib
setup-mathlib
August 17, 2024 15:23 18s
Build non-main branch Build non-main branch #1: Commit 2bd318c pushed by RexWzh
August 17, 2024 15:19 1m 26s dev
dev
August 17, 2024 15:19 1m 26s
Build the game and save artifact Build #1: Commit 1edb562 pushed by RexWzh
July 3, 2024 15:42 1m 55s main
main
July 3, 2024 15:42 1m 55s