Skip to content

Actions: Lean-zh/math-in-lean-source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix inconsistent variations count in topology ci #1: Commit eba72d1 pushed by RexWzh
December 29, 2024 10:37 2m 10s master
master
December 29, 2024 10:37 2m 10s