Skip to content

Actions: leanprover-community/mathlib4

Actions

.github/workflows/build.in.yml

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

chore: rename build.yml.in to build.in.yml .github/workflows/build.in.yml #1: Commit e0117fa pushed by adomani
September 3, 2024 07:38 Failure adomani/rename_build.yml.in
adomani/rename_build.yml.in
September 3, 2024 07:38 Failure