Lean CI

Bump futures from 0.3.28 to 0.3.30 in /lean #288

Sign in to view logs

Summary
Jobs
- changes
- Tests
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	4s
Tests	5m 1s
	5m 5s