Skip to content

Actions: leanprover-community/mathlib4

Actions

.github/workflows/mathlib_stats.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

adapt to label .github/workflows/mathlib_stats.yml #1: Commit 8b5e163 pushed by adomani
May 16, 2024 11:40 Failure adomani/periodic_reports_dev
adomani/periodic_reports_dev
May 16, 2024 11:40 Failure