Skip to content

Actions: Paul-Lez/PersistentDecomp

Actions

.github/workflows/lean-release-tag.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-release-tag.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib to v4.27.0 .github/workflows/lean-release-tag.yml #8: Commit 78ecfcd pushed by YaelDillies
11s master
master
11s
Bump mathlib to v4.26.0 .github/workflows/lean-release-tag.yml #7: Commit c364710 pushed by YaelDillies
11s master
master
11s
Bump mathlib to v4.25.0 .github/workflows/lean-release-tag.yml #6: Commit 8b8d401 pushed by YaelDillies
9s master
master
9s
Bump mathlib to v4.24.0 .github/workflows/lean-release-tag.yml #5: Commit db60ecb pushed by YaelDillies
8s master
master
8s
Bump mathlib to v4.23.0 .github/workflows/lean-release-tag.yml #4: Commit f32c24f pushed by YaelDillies
8s master
master
8s
Bump mathlib to v4.22.0 .github/workflows/lean-release-tag.yml #3: Commit 6401f9d pushed by YaelDillies
8s master
master
8s
Bump mathlib to v4.22.0 .github/workflows/lean-release-tag.yml #2: Commit 4177cab pushed by YaelDillies
10s master
master
10s
Bump mathlib to v4.22.0 .github/workflows/lean-release-tag.yml #1: Commit 4868004 pushed by YaelDillies
12s master
master
12s