Create Release · Workflow runs · ooovi/Polyhedral · GitHub

Actions

All workflows
Workflows
- Compile blueprint Compile blueprint
- Create Release Create Release
- Lean Action CI Lean Action CI
- Update Dependencies Update Dependencies
Management
- Caches

Create Release

Actions

Loading...
Loading

create-release.yml

4 workflow runs

4 workflow runs

Merge pull request #41 from ooovi/version-bump Create Release #4: Commit 7a1ab2d pushed by ooovi

12s main

main

12s

version bump Create Release #3: Commit 44ecc98 pushed by ooovi

11s main

main

11s

lean&mathlib bump Create Release #2: Commit a9d3c86 pushed by ooovi

8s main

main

8s

mathlib bump Create Release #1: Commit e860244 pushed by ooovi

13s main

main

13s