Skip to content
Bump version and make master job

Generate Lean 4 type definitions from a KORE definition (#4717) #1160

Sign in to view logs

Generate Lean 4 type definitions from a KORE definition (#4717)

Generate Lean 4 type definitions from a KORE definition (#4717) #1160

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Version Bump
12s
12s