Skip to content
Lean CI

Bump time from 0.3.32 to 0.3.34 in /lean #356

Sign in to view logs

Bump time from 0.3.32 to 0.3.34 in /lean

Bump time from 0.3.32 to 0.3.34 in /lean #356

Run time

Learn about OS pricing on GitHub Actions
Job Run time
changes
4s
Tests
5m 3s
5m 7s