Skip to content

Actions: fpvandoorn/carleson

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create-release.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to current mathlib (#230) Create Release #8: Commit 5894b59 pushed by fpvandoorn
February 10, 2025 20:24 13s master
master
February 10, 2025 20:24 13s
Bump to v4.16.0 (#228) Create Release #7: Commit a5d265f pushed by pitmonticone
February 7, 2025 12:32 17s master
master
February 7, 2025 12:32 17s
feat: bump to 4.16.0rc2 (#206) Create Release #6: Commit c4593b3 pushed by fpvandoorn
January 14, 2025 14:41 12s master
master
January 14, 2025 14:41 12s
chore: bump Lean and Mathlib to v4.15 (#202) Create Release #5: Commit 386a3c6 pushed by fpvandoorn
January 6, 2025 14:12 18s master
master
January 6, 2025 14:12 18s
chore: bump (v4.14.0-rc2) (#182) Create Release #4: Commit 0ba357e pushed by fpvandoorn
November 21, 2024 15:09 19s master
master
November 21, 2024 15:09 19s
chore: bump to Mathlib 4.13.0 (#162) Create Release #3: Commit 0f438e4 pushed by fpvandoorn
November 10, 2024 23:31 16s master
master
November 10, 2024 23:31 16s
Translate lakefile config to toml (#164) Create Release #2: Commit e6c9635 pushed by pitmonticone
November 8, 2024 19:06 18s master
master
November 8, 2024 19:06 18s
Add create-release workflow (#163) Create Release #1: Commit 0c4abc9 pushed by pitmonticone
November 8, 2024 18:27 16s master
master
November 8, 2024 18:27 16s