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
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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