Skip to content

Actions: leanprover-community/mathlib4

Actions

.github/workflows/Lean_decl_diff.yaml

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

separate action .github/workflows/Lean_decl_diff.yaml #1: Commit 78d5753 pushed by adomani
June 22, 2024 20:06 Failure adomani/decl_diff_in_lean
adomani/decl_diff_in_lean
June 22, 2024 20:06 Failure