Skip to content

Actions: leanprover-community/lean4game

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test end-to-end Test #1: Commit 7f6471d pushed by joneugster
March 3, 2025 12:24 1m 39s dev
dev
March 3, 2025 12:24 1m 39s