Create Release

Bump Lean to v4.13.0 (#10) #3

Sign in to view logs

Summary
Jobs
- tag-release
Run details
- Usage
- Workflow file

Triggered via push November 8, 2024 15:13

main

Status Success

Total duration 14s

Artifacts –

create-release.yml

on: push