Skip to content

Actions: YaelDillies/LeanAPAP

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_master.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prerequisites to redefining conv in terms of `MeasureTheory.convolu… Build Lean project #3: Commit 915745c pushed by YaelDillies
February 6, 2025 11:54 25m 5s master
master
February 6, 2025 11:54 25m 5s
Bump mathlib Build Lean project #2: Commit ad5acaf pushed by YaelDillies
February 2, 2025 11:38 24m 55s master
master
February 2, 2025 11:38 24m 55s
File dependencies Build Lean project #1: Commit a88504c pushed by YaelDillies
February 2, 2025 11:38 4m 42s master
master
February 2, 2025 11:38 4m 42s